1921 search results - page 353 / 385 » Stereo Without Search |
AGENTS
1997
Springer
14 years 19 days ago
1997
Springer
The World-Wide-Web is less agent-friendly than we might hope. Most information on the Web is presented in loosely structured natural language text with no agent-readable semantics...
CAV
1992
Springer
14 years 17 days ago
1992
Springer
State-space caching is a veri cation technique for nite-state concurrent systems. It performs an exhaustive exploration of the state space of the system being checked while storin...
ATAL
2007
Springer
14 years 14 days ago
2007
Springer
Multi-Agent Agreement problems (MAP) - the ability of a population of agents to search out and converge on a common state - are central issues in many multi-agent settings, from d...
CF
2007
ACM
14 years 14 days ago
2007
ACM
Performance tuning is an important and time consuming task which may have to be repeated for each new application and platform. Although iterative optimisation can automate this p...
EMSOFT
2009
Springer
14 years 10 days ago
2009
Springer
This paper addresses the question of producing modular sequential imperative code from synchronous data-flow networks. Precisely, given a system with several input and output flow...