Sciweavers

1588 search results - page 310 / 318
» Modular action language
Sort
View
JAIR
2006
90views more  JAIR 2006»
13 years 9 months ago
Engineering Benchmarks for Planning: the Domains Used in the Deterministic Part of IPC-4
In a field of research about general reasoning mechanisms, it is essential to have appropriate benchmarks. Ideally, the benchmarks should reflect possible applications of the deve...
Jörg Hoffmann, Stefan Edelkamp, Sylvie Thi&ea...
CAS
2004
150views more  CAS 2004»
13 years 9 months ago
Accounting for Human Activity Through Physics
Accounting for human activity through physics does not require anything more than a switch of mind. Objectivity needs first to be recognized as an epistemological principle that s...
Paul Jorion
CACM
2000
225views more  CACM 2000»
13 years 9 months ago
Complementary Video and Audio Analysis for Broadcast News Archives
The Informedia Digital Video Library system extracts information from digitized video sources and allows full content search and retrieval over all extracted data. This extracted ...
Howard D. Wactlar, Alexander G. Hauptmann, Michael...
RV
2010
Springer
220views Hardware» more  RV 2010»
13 years 7 months ago
Runtime Verification with the RV System
The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring O...
Patrick O'Neil Meredith, Grigore Rosu
ISF
2010
273views more  ISF 2010»
13 years 6 months ago
Agents of responsibility - freelance web developers in web applications development
Much of the literature on responsibility in the IT field addresses the responsibilities of members of the IT profession. In this paper, we investigate to what extent the responsibi...
Malik Aleem Ahmed, Jeroen van den Hoven