Sciweavers

2748 search results - page 259 / 550
» Modelling Fuzzy Sets Using Object-Oriented Techniques
Sort
View
ISBI
2006
IEEE
16 years 5 months ago
Iterative finite element deformable model for nonrigid coregistration of multimodal breast images
We have developed a nonrigid registration technique applicable to breast tissue imaging. It relies on a finite element method (FEM) model and a set of fiducial skin markers (FSMs)...
Alphonso Magri, Andrzej Król, David H. Feig...
KI
2004
Springer
15 years 10 months ago
Model Based Deduction for Database Schema Reasoning
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...
Peter Baumgartner, Ulrich Furbach, Margret Gro&szl...
PERCOM
2011
ACM
14 years 8 months ago
Is ontology-based activity recognition really effective?
—While most activity recognition systems rely on data-driven approaches, the use of knowledge-driven techniques is gaining increasing interest. Research in this field has mainly...
Daniele Riboni, Linda Pareschi, Laura Radaelli, Cl...
202
Voted
ICAPR
2005
Springer
15 years 10 months ago
3D Action Modeling and Reconstruction for 2D Human Body Tracking
In this paper we present a technique for predicting the 2D human body joints and limbs position in monocular image sequences, and reconstructing its corresponding 3D postures using...
Ignasi Rius, Daniel Rowe, Jordi Gonzàlez, F...
158
Voted
CAV
2000
Springer
187views Hardware» more  CAV 2000»
15 years 8 months ago
Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking
In this paper we show how to do symbolic model checking using Boolean Expression Diagrams (BEDs), a non-canonical representation for Boolean formulas, instead of Binary Decision Di...
Poul Frederick Williams, Armin Biere, Edmund M. Cl...