670 search results - page 89 / 134 » Modeling generalized implicatures using non-monotonic logics |
113
click to vote
GEOS
2007
Springer
15 years 6 months ago
2007
Springer
Spatio-temporal network is defined by a set of nodes, and a set of edges, where the properties of nodes and edges may vary over time. Such networks are encountered in a variety of...
FPGA
2008
ACM
15 years 1 months ago
2008
ACM
Functional full-system simulators are powerful and versatile research tools for accelerating architectural exploration and advanced software development. Their main shortcoming is...
114
click to vote
VMCAI
2004
Springer
15 years 5 months ago
2004
Springer
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...
134
click to vote
CCECE
2006
IEEE
15 years 5 months ago
2006
IEEE
Presenting information to an e-learning environment is a challenge, mostly, because ofthe hypertextlhypermedia nature and the richness ofthe context and information provides. This...
126
click to vote
TARK
2007
Springer
15 years 6 months ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...