Sciweavers

4635 search results - page 528 / 927
» Modeling Design Knowledge on Structure
Sort
View
MICCAI
2004
Springer
16 years 7 months ago
Segmentation of 3D Probability Density Fields by Surface Evolution: Application to Diffusion MRI
We propose an original approach for the segmentation of three-dimensional fields of probability density functions. This presents a wide range of applications in medical images proc...
Christophe Lenglet, Mikaël Rousson, Rachid De...
194
Voted
CADE
2007
Springer
16 years 7 months ago
System Description: E-KRHyper
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-b...
Björn Pelzer, Christoph Wernhard
189
Voted
CRV
2006
IEEE
223views Robotics» more  CRV 2006»
16 years 28 days ago
Disparity Map Estimation Using A Total Variation Bound
This paper describes a new variational method for estimating disparity from stereo images. The stereo matching problem is formulated as a convex programming problem in which an ob...
Wided Miled, Jean-Christophe Pesquet
163
Voted
ECAI
2004
Springer
16 years 7 days ago
Indirect and Conditional Sensing in the Event Calculus
Controlling the sensing of an environment by an agent has been accepted as necessary for effective operation within most practical domains. Usually, however, agents operate in par...
Jeremy Forth, Murray Shanahan
212
Voted
IWCMC
2010
ACM
15 years 12 months ago
Group detection in mobility traces
—Analysis and modeling of wireless networks greatly depend on understanding the structure of underlying mobile nodes. In this paper we present two clustering algorithms to determ...
Yung-Chih Chen, Elisha J. Rosensweig, Jim Kurose, ...