9832 search results - page 1602 / 1967 » An Object Model for Multiprogramming |
233
click to vote
AAAI
2008
15 years 8 months ago
2008
Symbolic AI systems typically have difficulty reasoning about motion in continuous environments, such as determining whether a cornering car will clear a close obstacle. Bimodal s...
216
click to vote
ATVA
2010
Springer
15 years 8 months ago
2010
Springer
We study recursive timed automata that extend timed automata with recursion. Timed automata, as introduced by Alur and Dill, are finite automata accompanied by a finite set of real...
212
click to vote
BRAIN
2010
Springer
15 years 8 months ago
2010
Springer
Cognitive informatics studies the natural intelligence and the brain from a theoretical and a computational approach, which rigorously explains the ms of the brain by a fundamental...
197
click to vote
CAISE
2010
Springer
15 years 8 months ago
2010
Springer
Despite advances in situational method engineering, many software organizations continue to adopt an ad-hoc mix of method fragments from wellknown development methods such as Scrum...
202
click to vote
CIDR
2009
15 years 7 months ago
2009
We present the design and development of a data stream system that captures data uncertainty from data collection to query processing to final result generation. Our system focuse...