21993 search results - page 448 / 4399 » Evolution of Data Models |
191
click to vote
AAAI
2007
15 years 8 months ago
2007
In recent years, there has been substantial research on exploring how AI can contribute to Human-Computer Interaction by enabling an interface to understand a user’s needs and a...
125
click to vote
CSDA
2007
15 years 6 months ago
2007
A parametric, continuous-time Markov model for digraph panel data is considered. The parameter is estimated by the method of moments. A convenient method for estimating the varian...
200
click to vote
ENTCS
2007
15 years 6 months ago
2007
Bounded Model Checking (BMC) is a successful refutation method to detect errors in not only circuits and other binary systems but also in systems with more complex domains like ti...
196
click to vote
IMCSIT
2010
15 years 4 months ago
2010
Abstract--The paper proposes a model which allows integration of services published by independent providers into scientific or business workflows. Optimization algorithms are prop...
171
click to vote
CVPR
1999
IEEE
16 years 8 months ago
1999
IEEE
We1 present a new method to shape-based segmentation of deformable anatomical structures in medical images and validate this approach by detecting and tracking the endocardial bor...