6020 search results - page 1096 / 1204 » A New Approach to Model Counting |
139
click to vote
SIGIR
2008
ACM
15 years 4 months ago
2008
ACM
We describe a new approach to information retrieval: algorithmic mediation for intentional, synchronous collaborative exploratory search. Using our system, two or more users with ...
110
click to vote
IJMI
2007
15 years 4 months ago
2007
: The increasing dependency being placed on electronic health information systems presents new challenges for today’s health managers and systems developers. This paper uses Elec...
135
click to vote
JAIR
2007
15 years 4 months ago
2007
Many combinatorial optimization problems such as the bin packing and multiple knapsack problems involve assigning a set of discrete objects to multiple containers. These problems ...
153
click to vote
TMI
2008
15 years 4 months ago
2008
Abstract-- In this paper, we propose a new method to construct graphical representations of cortical folding patterns by computing skeletons on triangulated cortical surfaces. In o...
173
Voted
CAGD
2005
15 years 4 months ago
2005
The use of point sets instead of meshes became more popular during the last years. We present a new method for anisotropic fairing of a point sampled surface using an anisotropic ...