1776 search results - page 74 / 356 » Using a Logic Programming Language with Persistence and Cont... |
148
Voted
CSFW
2007
IEEE
15 years 6 months ago
2007
IEEE
We present interpretations of type systems for secure information flow in Hoare logic, complementing previous encodings in binary (e.g. relational) program logics. Treating base-l...
117
Voted
ICRA
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— We describe an interaction paradigm for controlling a robot using hand gestures. In particular, we are interested in the control of an underwater robot by an onsite hum...
167
Voted
DAGSTUHL
2003
15 years 4 months ago
2003
Data mining focuses on the development of methods and algorithms for such tasks as classification, clustering, rule induction, and discovery of associations. In the database fiel...
126
Voted
FSTTCS
2000
Springer
15 years 6 months ago
2000
Springer
We present a framework for decision making under uncertainty where the priorities of the alternatives can depend on the situation at hand. We design a logic-programming language, D...
142
click to vote
CADE
2004
Springer
16 years 2 months ago
2004
Springer
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...