3028 search results - page 434 / 606 » Integrating Temporal Logics |
122
click to vote
CIA
2006
Springer
15 years 8 months ago
2006
Springer
The paper describes a decentralized peer-to-peer multi-agent learning method based on inductive logic programming and knowledge trading. The method uses first-order logic for model...
127
Voted
FAABS
2000
Springer
15 years 7 months ago
2000
Springer
This paper integrates research in robot programming and reasoning about action with research in model-based reasoning about physical systems to provide a capability for modeling an...
112
click to vote
AAAI
2007
15 years 6 months ago
2007
The goal of information extraction is to extract database records from text or semi-structured sources. Traditionally, information extraction proceeds by first segmenting each ca...
126
click to vote
WSC
2007
15 years 6 months ago
2007
Co-design modeling is considered key toward handling the complexity and scale of network systems. The ability to separately specify the software and hardware aspects of computer n...
137
Voted
ICWS
2008
IEEE
15 years 5 months ago
2008
IEEE
Programmable Logic Controllers (PLC) are widely used in process automation due to their fast and guarantee response time. However their programming and interfacing capacities are ...