1699 search results - page 177 / 340 » On the Expressive Power of QLTL |
181
click to vote
CVPR
2010
IEEE
16 years 4 days ago
2010
IEEE
We define a new “contour person” model of the human body that has the expressive power of a detailed 3D model and the computational benefits of a simple 2D part-based model....
179
click to vote
ICRA
2005
IEEE
16 years 3 days ago
2005
IEEE
— In this paper, we consider the problem of robot motion planning in order to satisfy formulas expressible in temporal logics. Temporal logics naturally express traditional robot...
170
click to vote
CONCUR
2005
Springer
16 years 1 days ago
2005
Springer
Starting from the opinion that the standard firing rule of Petri nets embodies the collective token interpretation of nets rather than their individual token interpretation, I pro...
149
click to vote
ER
2005
Springer
16 years 1 days ago
2005
Springer
Current speech-act based ACLs specify domain-independent information about communication and relegate domain-dependent information to an unspecified content language. This is reas...
185
click to vote
ESWS
2005
Springer
16 years 1 days ago
2005
Springer
As semantic markup becomes ubiquitous, it will become important to be able to ask queries and obtain answers, using natural language (NL) expressions, rather than the keyword-based...