859 search results - page 164 / 172 » Abduction in Temporal Reasoning |
WWW
2005
ACM
16 years 10 days ago
2005
ACM
Data referring to cultural calendars such as the widespread Gregorian dates but also dates after the Chinese, Hebrew, or Islamic calendars as well as data referring to professiona...
100
Voted
CAV
2005
Springer
15 years 5 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
88
Voted
GIS
1999
ACM
15 years 4 months ago
1999
ACM
In urban areas, city noises represent today a great problem. They are real nuisances for city-dwellers. Noises are caused by traffic, road works, factories, and also by people. So...
88
Voted
TIME
1994
IEEE
15 years 3 months ago
1994
IEEE
: In a dynamic, multi-agent environment, an the intelligent agents act as automated pilots automated intelligent agent is often faced with the for the simulated aircraft. These aut...
98
Voted
CSL
2010
Springer
14 years 11 months ago
2010
Springer
We present a system for model-based source separation for use on single channel speech mixtures where the precise source characteristics are not known a priori. The sources are mo...