7452 search results - page 420 / 1491 » A Semantics for Multiprocessor Systems |
204
click to vote
AIML
2008
15 years 8 months ago
2008
Most temporal logics, particularly interval temporal logics, are not expressive enough to capture meanings of natural language constructions, and they are not convenient to represe...
176
click to vote
AAAI
2006
15 years 8 months ago
2006
This paper summarizes our research in the area of semantic tagging at the word and sense levels and sets the ground for a new approach to text-level sentiment annotation using a c...
183
click to vote
DLOG
2004
15 years 8 months ago
2004
In this paper we describe the principles of the design and development of an intelligent query interface, done in the context of the SEWASIE (SEmantic Webs and AgentS in Integrate...
155
click to vote
SNPD
2003
15 years 8 months ago
2003
This paper describes an approach (and its implementation) on how to handle the large number of data from user centered engineering processes. It uses objectoriented abstraction me...
193
click to vote
FUIN
2010
15 years 4 months ago
2010
Bounded Model Checking (BMC) is an efficient technique applicable to verification of temporal properties of (timed) distributed systems. In this paper we show for the first time ho...