1588 search results - page 285 / 318 » On the Logic of Constitutive Rules |
142
click to vote
RTCSA
2008
IEEE
16 years 15 days ago
2008
IEEE
This paper addresses the problem of using the Location IDentifier (LID) as the domain value of the index for trajectories of RFID tags and proposes the solution for solving this p...
143
click to vote
WCRE
2008
IEEE
16 years 14 days ago
2008
IEEE
A business application automates a collection of business processes. A business process describes how a set of logically related tasks are executed, ordered and managed by followi...
173
click to vote
DEXAW
2007
IEEE
16 years 13 days ago
2007
IEEE
Question Answering (QA) systems automatically answer natural language questions in a human-like manner. One of the practical approaches to open domain QA consists in extracting fa...
195
click to vote
LICS
2007
IEEE
16 years 11 days ago
2007
IEEE
In predicate logic, the proof that a theorem P holds in a theory Th is typically conducted in natural deduction or in the sequent calculus using all the information contained in t...
149
click to vote
CONCUR
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. We propose a new model for timed games, based on concurrent game structures (CGSs). Compared to the classical timed game automata of Asarin et al. [8], our timed CGSs are...