809 search results - page 142 / 162 » Answer Formulation for Question-Answering |
120
Voted
HVC
2007
Springer
15 years 9 months ago
2007
Springer
Modern hardware designs are typically based on multiple clocks. While a singly-clocked hardware design is easily described in standard temporal logics, describing a multiply-clocke...
145
click to vote
TLCA
2005
Springer
15 years 9 months ago
2005
Springer
This work sets the formal bases for building tools that help retrieve classes in object-oriented libraries. In such systems, the user provides a query, formulated as a set of class...
119
click to vote
ESORICS
2003
Springer
15 years 8 months ago
2003
Springer
This paper considers a coalition C of enterprises {E1,..., En}, which is to be governed by a coalition policy PC , and where each memberenterprise Ei has its own internal policy Pi...
137
click to vote
ICLP
2003
Springer
15 years 8 months ago
2003
Springer
We equip ordered logic programs with negation as failure, using a simple generalization of the preferred answer set semantics for ordered programs. This extension supports a conven...
139
click to vote
ACSE
1996
ACM
15 years 7 months ago
1996
ACM
VIENA Classroom is a collaborative hypermedia education system which is a component of the Virtual Interactive Environment for Workgroups (VIEW), a collaborative environment based...