14331 search results - page 404 / 2867 » On the modeling and analysis of obligations |
158
click to vote
MICCAI
2004
Springer
16 years 7 months ago
2004
Springer
We have developed a new approach for preoperative selection of points from a surface model for rigid shape-based registration. This approach is based on an extension of our earlier...
200
click to vote
VMCAI
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. Device drivers often keep data in multiple data structures simultaneously while embedding list or tree related records into the records containing the actual data; this r...
227
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. We propose a symbolic algorithm to accurately predict atomicity violations by analyzing a concrete execution trace of a concurrent program. We use both the execution trac...
202
click to vote
IPMI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present an exploratory method for simultaneous parcellation of multisubject fMRI data into functionally coherent areas. The method is based on a solely functional repr...
177
Voted
CSSE
2008
IEEE
16 years 1 months ago
2008
IEEE
: Today, virtual enterprise is regarded as the most competitive management model of enterprises that faces the resource of the globe. This paper proposed an instructor of remote ma...