1063 search results - page 129 / 213 » Order and Negation as Failure |
112
Voted
IWCMC
2006
ACM
15 years 6 months ago
2006
ACM
Grid-based sensor deployment is an effective and efficient practice for provisioning wireless sensor networks. Previous work has addressed grid-based deployment of sensors in orde...
105
Voted
SAC
2006
ACM
15 years 6 months ago
2006
ACM
The release of computer hardware devices based on “trusted computing” technologies is heralding a paradigm shift that will have profound implications for digital forensics. In...
95
Voted
SOUPS
2005
ACM
15 years 6 months ago
2005
ACM
Information visualization is an effective way to easily comprehend large amounts of data. For such systems to be truly effective, the information visualization designer must be aw...
101
click to vote
APN
2005
Springer
15 years 6 months ago
2005
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, give...
126
Voted
ASP
2005
Springer
15 years 6 months ago
2005
Springer
The extended answer set semantics for simple logic programs, i.e. programs with only classical negation, allows for the defeat of rules to resolve contradictions. In addition, a pa...