670 search results - page 84 / 134 » Modeling generalized implicatures using non-monotonic logics |
149
Voted
CIKM
2011
Springer
14 years 3 months ago
2011
Springer
We present Nyaya, a system for the management of Semantic-Web data which couples a general-purpose and extensible storage mechanism with efficient ontology reasoning and querying ...
141
Voted
CODES
2007
IEEE
15 years 7 months ago
2007
IEEE
The synchronous computational model with its simple computation and communication mechanism makes it easy to describe, simulate and formally verify synchronous embedded systems at...
121
Voted
PLDI
2006
ACM
15 years 9 months ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
151
Voted
ICIP
1998
IEEE
16 years 5 months ago
1998
IEEE
We describe a new invariant-based data model for image databases under our approach for shape-based retrieval. The data model relies on contours description of the image shape, an...
134
Voted
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
Agent-based simulations are an increasingly popular means of exploring and understanding complex social systems. In order to be useful, these simulations must capture a range of a...