2273 search results - page 227 / 455 » On the Expressiveness and Complexity of ATL |
150
click to vote
ADC
2003
Springer
15 years 11 months ago
2003
Springer
The Internet is going through several major changes. It has become a vehicle of Web services rather than just a repository of information. Many organizations are putting their cor...
172
click to vote
DBPL
2003
Springer
15 years 11 months ago
2003
Springer
We introduce the new notion of XML Stream Attribute Grammars (XSAGs). XSAGs are the first scalable query language for XML streams (running strictly in linear time with bounded mem...
167
click to vote
ESOP
2003
Springer
15 years 11 months ago
2003
Springer
In complex systems, like robot plants, applications are built on top of a set of components, or devices. Each of them has particular individual constraints, and there are also log...
151
click to vote
ILP
2003
Springer
15 years 11 months ago
2003
Springer
Propositionalization has already been shown to be a particularly promising approach for robustly and effectively handling relational data sets for knowledge discovery. In this pap...
163
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes a set of tools that allows a developer to instrument an autonomous control system to log data at run-time and then analyze that data to verify correct program...