1968 search results - page 124 / 394 » Symmetry in Decision Evaluation |
146
click to vote
CICLING
2009
Springer
16 years 7 months ago
2009
Springer
In this paper we present the use of the AORTE system in recognizing textual entailment. AORTE allows the automatic acquisition and alignment of ontologies from text. The informatio...
145
click to vote
ARC
2009
Springer
16 years 1 months ago
2009
Springer
The parallel branching program machine (PBM128) consists of 128 branching program machines (BMs) and a programmable interconnection. To represent logic functions on BMs, we use qua...
142
click to vote
ECOWS
2007
Springer
16 years 17 days ago
2007
Springer
An architecture of a hosting system is presented, where a number of servers are used to provide different types of web services to paying customers. There are charges for running ...
156
click to vote
ESORICS
2007
Springer
16 years 17 days ago
2007
Springer
Obligations are pervasive in modern systems, often linked to access control decisions. We present a very general model of obligations as objects with state, and discuss its interac...
190
click to vote
QEST
2006
IEEE
16 years 12 days ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...