4617 search results - page 914 / 924 » Automation of Diagrammatic Reasoning |
119
click to vote
GIS
2009
ACM
15 years 4 months ago
2009
ACM
More and more users are contributing and sharing more and more contents on the Web via the use of content hosting sites and social media services. These user–generated contents ...
124
click to vote
CAV
2000
Springer
15 years 4 months ago
2000
Springer
Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion . . . . . . . . . . . . . . . . . . . . . . . . . . 1 A. Pnueli Invited Address...
SIGMOD
1999
ACM
15 years 4 months ago
1999
ACM
The design of webbases, database systems for supporting Webbased applications, is currently an active area of research. In this paper, we propose a 3-layer architecture for design...
102
click to vote
AGENTS
1999
Springer
15 years 4 months ago
1999
Springer
Most work on intelligent information agents has thus far focused on systems that are accessible through the World Wide Web. As demanding schedules prohibit people from continuous ...
101
click to vote
AIME
1997
Springer
15 years 3 months ago
1997
Springer
: Clinical guidelines reuse existing clinical procedural knowledge while leaving room for flexibility by the care provider applying that knowledge. Guidelines can be viewed as gene...