Sciweavers

2009 search results - page 209 / 402
» Dense Interest Points
Sort
View
IJCAI
2003
15 years 5 months ago
On the Undecidability of Description and Dynamic Logics with Recursion and Counting
The evolution of Description Logics (DLs) and Propositional Dynamic Logics produced a hierar­ chy of decidable logics with multiple maximal el­ ements. It would be desirable to ...
Piero A. Bonatti
WSC
2001
15 years 5 months ago
A crowd of little man computers: visual computer simulator teaching tools
This paper describes the use of a particular type of computer simulator as a tool for teaching computer architecture. The Little Man Computer (LMC) paradigm was developed by Stuar...
William Yurcik, Hugh Osborne
BMVC
2000
15 years 5 months ago
Probabilistic PCA and ICA Subspace Mixture Models for Image Segmentation
High-dimensional data, such as images represented as points in the space spanned by their pixel values, can often be described in a significantly smaller number of dimensions than...
Dick de Ridder, Josef Kittler, Robert P. W. Duin
WSCG
2003
145views more  WSCG 2003»
15 years 5 months ago
Analysis of Four-Dimensional Cardiac Data Sets Using Skeleton-Based Segmentation
Computer-aided analysis of four-dimensional tomography data has become an important tool in modern cardiology. In order to examine the capability and health of a patient’s cardi...
André Neubauer, Rainer Wegenkittl
AAAI
1997
15 years 5 months ago
Tabu Search for SAT
In this paper, tabu search for SAT is investigated from an experimental point of view. To this end, TSAT, a basic tabu search algorithm for SAT, is introduced and compared with Se...
Bertrand Mazure, Lakhdar Sais, Éric Gr&eacu...