4573 search results - page 906 / 915 » Automated Reasoning |
BIRTHDAY
2003
Springer
14 years 2 months ago
2003
Springer
The pagination problem of complex documents is in placing text and floating objects on pages in such a way that each object appears close to, but not before, its text reference. ...
COOPIS
2002
IEEE
14 years 2 months ago
2002
IEEE
The Neem Platform is a research test bed for Project Neem, concerned with the development of socially and culturally aware collaborative systems in a wide range of domains, through...
CAV
2000
Springer
14 years 2 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
14 years 1 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...
AGENTS
1999
Springer
14 years 1 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 ...