895 search results - page 121 / 179 » A Spectrum of Applications of Automated Reasoning |
LPNMR
2009
Springer
15 years 2 months ago
2009
Springer
Identifying maternal and paternal inheritance is essential to be able to find the set of genes responsible for a particular disease. However, due to technological limitations, we ...
ICAI
2004
14 years 11 months ago
2004
Current planning systems often fail to represent the reasons why certain planning decisions are made. Explicit representation of this Plan Rationale is crucial for automated plan m...
108
click to vote
CSREASAM
2009
14 years 11 months ago
2009
- Until recently the reasons for reduced efficiency and limited implementation of new security systems has been the insufficient performance of hardware that executes access contro...
DLOG
2007
15 years 6 days ago
2007
Clio is a joint research project between the University of Toronto and IBM Almaden Research Center started in 1999 to address both foundational and systems issues related to the ma...
164
click to vote
GIS
2007
ACM
15 years 11 months ago
2007
ACM
The automatic creation of 3D models of urban spaces has become a very active field of research. This has been inspired by recent applications in the location-awareness on the Inte...