1083 search results - page 180 / 217 » Using Contextual Logic Programming for Temporal Reasoning |
106
click to vote
ICLP
2005
Springer
15 years 7 months ago
2005
Springer
Any finite tree automaton (or regular type) can be used to construct act interpretation of a logic program, by first determinising and completing the automaton to get a pre-inter...
106
click to vote
EMSOFT
2006
Springer
15 years 5 months ago
2006
Springer
A key problem for effective unit testing is the difficulty of partitioning large software systems into appropriate units that can be tested in isolation. We present an approach th...
110
Voted
RSP
2003
IEEE
15 years 7 months ago
2003
IEEE
The paper shows the outlines of the SLAM system and how its design is suitable for automating rapid prototyping. The system includes a very expressive object oriented specificati...
121
click to vote
ECAI
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Learning event models from videos has applications ranging from abnormal event detection to content based video retrieval. Relational learning techniques such as Inductiv...
114
click to vote
EUC
2004
Springer
15 years 7 months ago
2004
Springer
The Distributed Object Group Framework(DOGF) we constructed supports the grouping of distributed objects that are required for distributed application. From the DOGF, we manage dis...