4767 search results - page 190 / 954 » Structures for Abstract Rewriting |
173
click to vote
IROS
2007
IEEE
16 years 22 days ago
2007
IEEE
— Humans have at some point learned an abstraction of the capabilities of their arms. By just looking at the scene they can decide which places or objects they can easily reach a...
160
click to vote
CSL
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Although Cai, F¨urer and Immerman have shown that fixedpoint logic with counting (IFP + C) does not express all polynomialtime properties of finite structures, there h...
179
click to vote
TACAS
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...
141
click to vote
IJCNN
2006
IEEE
16 years 14 days ago
2006
IEEE
Abstract— We present a method for exploratory data analysis of large spatiotemporal data sets such as global longtime climate measurements, extending our previous work on semibli...
198
click to vote
IDEAS
2005
IEEE
16 years 1 days ago
2005
IEEE
The recent proliferation of XML-based standards and technologies for managing data on the Web demonstrates the need for effective and efficient management of treestructured data....