9405 search results - page 1261 / 1881 » Computing a Model of Set Theory |
212
click to vote
CONCUR
2006
Springer
15 years 9 months ago
2006
Springer
In regular inference, the problem is to infer a regular language, typically represented by a deterministic finite automaton (DFA) from answers to a finite set of membership querie...
168
click to vote
ECAI
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Weighted voting games are a popular model of collaboration in multiagent systems. In such games, each agent has a weight (intuitively corresponding to resources he can co...
199
click to vote
CCCG
2008
15 years 8 months ago
2008
Many important problems in Computational Geometry needs to perform some kind of angle processing. The Polar Diagram [4] is a locus approach for problems processing angles. Using t...
202
click to vote
WSC
1997
15 years 8 months ago
1997
We present an extension to an existing SPARC V8 instruction set simulator, SimICS, to support accurate profiling of branches and instruction cache misses. SimICS had previously su...
217
click to vote
CVPR
2010
IEEE
15 years 7 months ago
2010
IEEE
This article presents a new method for non-rigid surface registration between a surface model and a surface of an internal organ in a given 3D medical image. The surface is repres...