4573 search results - page 773 / 915 » Automated Reasoning |
122
click to vote
INFOCOM
2003
IEEE
15 years 8 months ago
2003
IEEE
— Efficient use of network resources has long been an important problem for large-scale network operators. To this end, several recent research efforts have proposed automated m...
106
Voted
ICCS
2003
Springer
15 years 8 months ago
2003
Springer
Geophysics research has been faced with a growing need for automated techniques with which to process large quantities of data. A successful tool must meet a number of requirements...
130
Voted
CAV
2006
Springer
15 years 7 months ago
2006
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for system synthesis, litt...
128
click to vote
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
Automated control of a virtual camera is useful for both linear animation and interactive virtual environments. We have constructed a knowledge-based system that allows users to e...
117
click to vote
NSDI
2008
15 years 5 months ago
2008
There is a large body of research on how to design user interfaces for systems so as to ensure that important messages from the systems are presented to the user to maximize the p...