11151 search results - page 95 / 2231 » On the Complexity of Model Expansion |
ASIACRYPT
2010
Springer
13 years 8 months ago
2010
Springer
Private Set Intersection (PSI) protocols allow one party ("client") to compute an intersection of its input set with that of another party ("server"), such tha...
UAI
2008
13 years 11 months ago
2008
It is well-known that inference in graphical models is hard in the worst case, but tractable for models with bounded treewidth. We ask whether treewidth is the only structural cri...
ISICT
2003
13 years 11 months ago
2003
Abstract: A vision of tools to support software development organizations in the process of development, maintenance and evolution of systems is presented. The envisioned tools see...
ECAI
2010
Springer
13 years 11 months ago
2010
Springer
In the clock semantics for epistemic logic, two situations are indistinguishable for an agent when it makes the same observation and the time in the situations is the same. The pa...
CMSB
2008
Springer
13 years 12 months ago
2008
Springer
Kinetic models for biochemical systems often comprise a large amount of coupled differential equations with species concentrations varying on different time scales. In this paper w...