1536 search results - page 239 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
FLAIRS
2004
13 years 9 months ago
2004
As the complexity of industrial processes increases, it requires the use of intelligent sensors or actuators (known as Intelligent Instruments) to allow for more comprehensive and...
SPATIALCOGNITION
2004
Springer
14 years 1 months ago
2004
Springer
Establishing a clean relationship between a robot’s spatial model and natural language components is a non-trivial task, but is key to designing verbally controlled, navigating s...
CSL
2000
Springer
14 years 1 days ago
2000
Springer
This paper introduces a typed λ-calculus called λPower , a predicative reformulation of part of Cardelli’s power type system. Power types integrate subtyping into the typing t...
ISSA
2004
13 years 9 months ago
2004
Computer security, and intrusion detection in particular, has become increasingly important in today's business environment, to help ensure safe and trusted commerce between ...
SIGMOD
2007
ACM
14 years 7 months ago
2007
ACM
Translating data and data access operations between applications and databases is a longstanding data management problem. We present a novel approach to this problem, in which the...