Science Reference
 
 
A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z
Knowledge, understanding, and computational complexity
Knowledge resource tools for accessing large text files
Kalman Filtering using Pairwise Gaussian Models
Knowledge mining with VxInsight: Discovery through interaction
Kitrace: Precise Interactive Measurement of Operating Systems Kernels
Knowledge-based vision and simple visual machines
Knowledge-lean coreference resolution and its relation to textual cohesion and coherence
KQML as an agent communication language
Kinetic Data Structures for Collision Detection
Keyword proximity search on xml graphs
Knowledge Management for Terminology-Intensive Applications: Needs and Tools
Knowledge equivalence in combined action theories
Kerberos version IV: Inductive analysis of the secrecy goals
Knowledge-based support vector machine classifiers
Korat: Automated testing based on Java predicates
Kademlia: A peer-to-peer information system based on the xor metric
Kaon - towards a large scale semantic web
Knowledge-acquisition interfaces for domain experts: An empirical evaluation of protege-2000
Kernel matrix completion by semidefinite programming
Knowledge-Based Disambiguation for Machine Translation
KED: A Deontic Theorem Prover
Kava: A Java dialect with a uniform object model for lightweight classes
Knowledge and business processes: Approaching an integration
Keyboards without keyboards: A survey of virtual keyboards
Kinetic collision detection between two simple polygons
K.: Query Routing and Processing in Mobile Ad-hoc Environments
Knowledge-based temporal interpolation
Knowledge modeling at the millennium (the design and evolution of Protege-2000
Kernel PCA and De-Noising in Feature Spaces
Karlsruhe brainstormers - a reinforcement learning way to robotic soccer
Kernel Support for the Event-based Cooperation of Distributed Resource Managers
Kasten: A Minimal Bluetooth-Based Computing and Communication Platform
KLD-Sampling: Adaptive Particle Filters
K-local hyperplane and convex distance nearest neighbor algorithms
Kernel-based reinforcement learning in average-cost problems: An application to optimal portfolio choice
Kernel machines and boolean functions
Kasbah: An agent marketplace for buying and selling goods
Kripke Resource Models of a Dependently-Typed, Bunched -calculus
Knowledge-based Configuration for Configuring Combined Hardware/Software Systems
Knowledge discovery in multi-label phenotype data
Keepaway soccer: a machine learning testbed
Knowledge Integration and Forgetting
KLD-sampling: Adaptive particle filters and mobile robot localization
Knowledge sources for word-level translation models
Kernel independent component analysis
Knowledge-Based Proof Planning
K.: Pairwise coupling for machine recognition of hand-printed japanese characters
KRAFT: Knowledge Fusion from Distributed Databases and Knowledge Bases
Keyframe motion optimization by relaxing speed and timing
Knowbot programming: System support for mobile agents
Knowledge representation, computation, and learning in higher-order logic
Knowledge representation on the web
Knowledge management in heterogeneous data warehouse environments
Knowledge retrieval and the World Wide Web
Kontothanassis. Algorithms for categorizing multiprocessor communication under invalidate and update-based coherence protocols
KHEPERA: A system for rapid implementation of domain specific languages
KMi Stadium: Web-based Audio/Visual Interaction as Reusable Organisational Expertise
Keys for xml
K2/Kleisli and GUS: Experiments in Integrated Access to Genomic Data Sources
Knowledge Collection for Natural Language Spoken Dialog Systems
Kernel expansions with unlabeled examples
Knowing your place in real world environments
Kernel-based reinforcement learning
Key agreement protocols and their security analysis
Khazana: An Infrastructure for Building Distributed Services
Kullback proximal algorithms for maximum likelihood estimation
Knowledge acquisition for content selection
Kinematic Jump Processes for Monocular 3D Human Tracking
Know thy neighbor???s neighbor: the power of lookahead in randomized p2p networks
Kernel support for open qos-aware computing
Knit: Component composition for systems software
KnittingFactory: An Infrastructure for Distributed Web Applications
Kolmogorov complexity, complexity cores, and the distribution of hardness
Key Preassigned Traceability Schemes for Broadcast Encryption
Knowledgeable development environments using shared design models
Knowledge Representation with Logic Programs
Knowledge discovery in databases: A rule-based attribute-oriented approach
KN-AHS: An Adaptive Hypertext Client of the User Modeling System BGP-MS
Knowledge Acquisition without Analysis
Kerberos Plus RSA for World Wide Web Security
Knowledge-based integration of neuroscience data sources
Knowledge portals ??? ontologies at work
Knowledge representation for computer vision: The VEIL project, ARPA Image Understanding Workshop
Keystone: a group key management service
Kohonen Feature Maps and Growing Cell Structures -- a Performance Comparison
Knowledge-Based Spatiotemporal Abstraction
KtSeqC: System description
Kaelbling. Sampling methods for action selection in influence diagrams
Knowledge and the logic of local propositions
Keeping up with the changing web
Knowledge preconditions for plans
Knowledge-based Automatic Topic Identification
Klaim: a Kernel Language for Agents Interaction and Mobility
Knowledge discovery in databases
KryptoKnight Authentication and Key Distribution System
KRONOS: A Tool for Verifying Real-Time Systems
KOAN: a Shared Virtual Memory for the iPSC/2 hypercube
Knowledge representation issues in control knowledge learning
Key range locking strategies for improved concurrency
Knowledge-based navigation of complex information spaces
Kronos: A scalable group re-keying approach for secure multicast
Knots and quantum gravity: progress and prospects, to appear
Keyjacking: Risks of the Current Client-side Infrastructure
Known TCP implementation problems
Kronos: A verification tool for Real-Time Systems
Krylov space methods on state-space control models
Krakatoa: Decompilation in Java (Does bytecode reveal source
Kernel PCA for Feature Extraction and De-Noising in Non-Linear Regression
Knowledge Discovery from Telecommunication Network Alarm Databases
Kernel-level threads for dynamic, hard real-time environments
Knowledge Discovery via Multiple Models
Knowledge-based avoidance of drug-resistant HIV mutants
Knowledge Management through Ontologies
Key establishment protocols for secure mobile communications: A selective survey
KNOME: Modeling what the User Knows in UC
Kermit: specification and verification
Knowledge sources in spoken dialogue systems
Knowledge discovery in large spatial databases: Focusing techniques for efficient class identification
Keeping your eye on the ball: Tracking occluding contours of unfamiliar objects without distraction
Kinematic Control of Human Postures for Task Simulation
Knapsack: A zero-cycle memory hierarchy component
KN Parser : Japanese Dependency/Case Structure Analyzer
Knowledge maintenance: The state of the art
Kiwiel, Lagrangian relaxation of nonconvex problems via bundle methods
Kernels in planar digraphs
Korean to English Translation Using Synchronous TAGs
Kolmogorov complexity and instance complexity of recursively enumerable sets
KRAFT: An agent architecture for knowledge fusion
Knowledge-directed Adaptation in Multi-level Agents
Key-insulated public key cryptosystems
Kolmogorov numberings and minimal identification
Kernel feature spaces and nonlinear blind source separation
k-ary clustering with optimal leaf ordering for gene expression data
Knowledge Nodes: the Building Blocks of a Distributed Approach to Knowledge Management
Knowledge Mining in Databases: An Integration of Machine Learning Methodologies with Database Technologies
Key Agreement using Statically Keyed Authenticators, proc
Knowledge-based Image Retrieval with Spatial and Temporal Constructs
KECho - Event Communication for Distributed Kernel Services
KNOs: KNowledge Acquisition, Dissemination and Manipulation Objects
Koorde: A simple degree-optimal distributed hash table
Knowledge patterns
kNN at TREC-9
K.: Color stereo vision using hierarchical block matching and active color illumination
KOM Player - A Platform for Experimental VoD Research
K-Nearest Neighbor Search for Moving Query Point
Knowledge Extraction by using an Ontology-based Annotation Tool
Knowledge compilation = query rewriting + view synthesis
Knowledge compilation and theory approximation
Knowledgebase transformations
Kerberos authentication and authorization system
Knowledge Discovery and Data Mining: Towards a Unifying Framework
Knowledge and common knowledge in a distributed environment
Kleene algebra with tests
Knowledge as a tool in motion planning under uncertainty
Knowledge gathering and matching in heterogeneous databases
Knowledge-based information retrieval from semistructured text
Kerberos: An Authentication Service for Open Network Systems
Knowledge-Based Trend Detection and Diagnosis
Kernel Methods for Extracting Local Image Semantics
Knowledge and implicit knowledge in a distributed environment: preliminary report
Knowledge and the problem of logical omniscience
Knowledge interchange format: the KIF of death
Knowledge and the ordering of events in distributed systems", TARK V, Theoretical Aspects of Reasoning about Knowledge
KIDS: a semi-automatic program development system
Knowledge discovery in databases: An attribute-oriented approach
Knowledge Goals: A Theory of Interestingness
Keying hash functions for message authentication
Keeping neural networks simple by minimizing the description length of the weights
Kleene algebra with tests: Completeness and decidability
k-edge subgraph problems
Knowledge, probability, and adversaries
Kin Recognition, Similarity, and Group Behavior
K-vec: A new approach for aligning parallel texts
Knowledge compilation using horn approximations
Copyright © 2008 King Fahd University of Petroleum & Minerals. All Rights Reserved