14331 search results - page 301 / 2867 » On the modeling and analysis of obligations |
194
click to vote
FIMH
2003
Springer
15 years 12 months ago
2003
Springer
We model the process of imaging soft tissues with a 3D ultrasound probe using a linear convolution model, and obtain analytical expressions of both the ultrasound image and its spe...
184
click to vote
ICML
1990
IEEE
15 years 10 months ago
1990
IEEE
We present an approach to modeling the average case behavior of learning algorithms. Our motivation is to predict the expected accuracy of learning algorithms as a function of the...
186
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
JNuke is a framework for verification and model checking of Java programs. It is a novel combination of run-time verification, explicit-state model checking, and counter-example ex...
183
click to vote
DAGM
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present a method for 3D object modeling and recognition which is robust to scale and illumination changes, and to viewpoint variations. The object model is derived fro...
166
click to vote
IADIS
2004
15 years 8 months ago
2004
This paper proposes a collaborative approach for personal task management which is modeled as an alliance model. Alliance model is based on information sharing and collaboration o...