4520 search results - page 214 / 904 » Algebraic Techniques for Timed Systems |
207
click to vote
SAC
2003
ACM
16 years 13 days ago
2003
ACM
A fundamental issue in the engineering of coordination models is n coordination abstractions that are correct with respect to the specification of the coordination model they imp...
170
click to vote
ACL
2006
15 years 8 months ago
2006
This paper introduces a novel framework for the accurate retrieval of relational concepts from huge texts. Prior to retrieval, all sentences are annotated with predicate argument ...
182
click to vote
DKE
2006
15 years 7 months ago
2006
Recursive queries are quite important in the context of XML databases. In addition, several recent papers have investigated a relational approach to store XML data and there is gr...
180
click to vote
CODES
2005
IEEE
16 years 24 days ago
2005
IEEE
Even after carefully tuning the memory characteristics to the application properties and the processor speed, during the execution of real applications there are times when the pr...
178
click to vote
ISBI
2006
IEEE
16 years 8 months ago
2006
IEEE
Given a volume of cardiac MR images, we consider the problem of segmenting the heart based on intensity and dynamics. We first segment the heart and the chest from the background ...