Sciweavers

928 search results - page 163 / 186
» Using fMRI to Test Models of Complex Cognition
Sort
View
FOCS
2005
IEEE
14 years 2 months ago
Safraless Decision Procedures
The automata-theoretic approach is one of the most fundamental approaches to developing decision procedures in mathematical logics. To decide whether a formula in a logic with the...
Orna Kupferman, Moshe Y. Vardi
ICCV
2005
IEEE
14 years 2 months ago
Resolving Hand over Face Occlusion
Abstract. This paper presents a method to segment the hand over complex backgrounds, such as the face. The similar colors and texture of the hand and face make the problem particul...
Paul Smith, Niels da Vitoria Lobo, Mubarak Shah
TCGOV
2005
Springer
14 years 2 months ago
UNICAP: Efficient Decision Support for Academic Resource and Capacity Management
Growing complexity of the data and processes to be managed, as well as the transition from strict governmental regulation towards autonomy make academic institutions a significant ...
Svetlana Vinnik, Marc H. Scholl
IMR
2004
Springer
14 years 2 months ago
Entkerner: A System for Removal of Globally Invisible Triangles from Large Meshes
We present a method that computes a global potentially visible set for the complete region outside the convex hull of an object. The technique is used to remove invisible parts (t...
Manfred Ernst, Frank Firsching, Roberto Grosso
SAC
2000
ACM
14 years 29 days ago
The Evolution of the DARWIN System
DARWIN is a web-based system for presenting the results of wind-tunnel testing and computational model analyses to aerospace designers. DARWIN captures the data, maintains the inf...
Joan D. Walton, Robert E. Filman, David J. Korsmey...