4126 search results - page 504 / 826 » Set based logic programming |
146
click to vote
FUIN
2008
15 years 3 months ago
2008
Abstract. The ability to recognize human activities from sensory information is essential for developing the next generation of smart devices. Many human activity recognition tasks...
136
click to vote
JOT
2008
15 years 3 months ago
2008
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...
129
click to vote
TCAD
2008
15 years 3 months ago
2008
State encoding is one of the most difficult problems in the synthesis of asynchronous controllers. This paper presents a method that can solve the problem of large controllers spec...
131
Voted
JDS
2007
15 years 3 months ago
2007
Operational Risk management, the least covered component of Enterprise Wide Risk Management, needs intelligent tools to implement Comprehensive Emergency Management Programs. In t...
160
click to vote
RR
2010
Springer
15 years 1 months ago
2010
Springer
The Accountability In RDF (AIR) language is an N3-based, Semantic Web production rule language that supports nested activation of rules, negation, closed world reasoning, scoped co...