2409 search results - page 255 / 482 » Logical systems for structured specifications |
182
click to vote
SOCROB
2010
15 years 2 months ago
2010
Abstract. This paper presents a system for human-robot communication situated in an ambient assisted living scenario, where the robot performs an orderand-serve-procedure. The inte...
135
click to vote
ILP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Despite the considerable success of Inductive Logic Programming, deployed ILP systems still have efficiency problems when applied to complex problems. Several techniques ...
142
click to vote
CIA
2000
Springer
15 years 8 months ago
2000
Springer
Effective development of nontrivial systems of collaborative information agents requires that an in-depth analysis is made resulting in (1) specification of requirements at differe...
159
click to vote
ISORC
1999
IEEE
15 years 8 months ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
161
click to vote
PVLDB
2010
14 years 11 months ago
2010
Rule-based information extraction from text is increasingly being used to populate databases and to support structured queries on unstructured text. Specification of suitable info...