1588 search results - page 297 / 318 » On the Logic of Constitutive Rules |
161
click to vote
JODS
2008
15 years 1 months ago
2008
Information integration and retrieval are useful tasks in many information systems. In these systems, it is far from an easy task to directly integrate information from natural lan...
121
click to vote
TKDE
2008
15 years 1 months ago
2008
Today more and more security-relevant data is stored on computer systems; security-critical business processes are mapped to their digital counterparts. This situation applies to ...
125
click to vote
COMPSEC
2004
15 years 1 months ago
2004
Security technology suitable for the burgeoning embedded system market has not been widespread. Untrusted code downloaded from the Internet poses numerous security risks due to th...
120
click to vote
CORR
2002
Springer
15 years 1 months ago
2002
Springer
In this paper we consider three di erent kinds of domain dependent control knowledge (temporal, procedural and HTN-based) that are useful in planning. Our approach is declarative ...
125
click to vote
DEDS
1998
15 years 29 days ago
1998
In this paper, timed Petri nets are used to model and control hybrid systems. Petri nets are used instead of finite automata primarily because of the advantages they offer in de...