2282 search results - page 156 / 457 » Active property checking |
151
click to vote
TVCG
2012
13 years 7 months ago
2012
—The broad goals of verifiable visualization rely on correct algorithmic implementations. We extend a framework for verification of isosurfacing implementations to check topologi...
197
click to vote
IEEESP
2011
14 years 8 months ago
2011
We present a representative development in the science of security that includes a generic model of computer systems, their security properties and adversaries who actively interf...
158
Voted
DALT
2008
Springer
15 years 6 months ago
2008
Springer
ing and Verifying Strategy-proofness for Auction Mechanisms E. M. Tadjouddine, F. Guerin, and W. Vasconcelos Department of Computing Science, King's College, University of Abe...
131
click to vote
NAACL
2007
15 years 6 months ago
2007
Dependency analysis of natural language gives rise to non-projective structures. The constraint of well-nestedness on dependency trees has been recently shown to give a good fit ...
123
click to vote
AIML
2004
15 years 6 months ago
2004
In this paper we give the notion of modularity of a theory and analyze some of its properties, especially for the case of action theories in reasoning about actions. We propose alg...