835 search results - page 11 / 167 » Characterizing rosy theories |
IVC
2008
14 years 11 months ago
2008
A novel mathematical framework inspired on Morse Theory for topological triangle characterization in 2D meshes is introduced that is useful for applications involving the creation...
FOSSACS
2003
Springer
15 years 5 months ago
2003
Springer
In previous work we have investigated a notion of approximate bisimilarity for labelled Markov processes. We argued that such a notion is more realistic and more feasible to compu...
103
click to vote
JCSS
2008
14 years 11 months ago
2008
We provide a characterization of the resolution width introduced in the context of propositional proof complexity in terms of the existential pebble game introduced in the context...
AI
2005
Springer
14 years 11 months ago
2005
Springer
One of the major approaches to approximation of logical theories is the upper and lower bounds approach introduced in (Selman and Kautz, 1991, 1996). In this paper, we address the...
INDOCRYPT
2004
Springer
15 years 5 months ago
2004
Springer
Random data perturbation (RDP) has been in use for several years in statistical databases and public surveys as a means of providing privacy to individuals while collecting informa...