3605 search results - page 263 / 721 » Analysis and Applications of the XDI model |
125
click to vote
ICAIL
2007
ACM
15 years 10 months ago
2007
ACM
In the present paper, we provide a formalised version of a merged argumentative and story-based approach towards the analysis of evidence. As an application, we are able to show h...
173
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
155
click to vote
BILDMED
2008
15 years 8 months ago
2008
The exact knowledge of the blood vessel geometry plays an important role, not only in clinical applications (stroke diagnosis, detection of stenosis), but also for detailed analysi...
203
click to vote
CSC
2009
15 years 7 months ago
2009
- The Traveling Salesman Problem (TSP) is perhaps the most famous optimization problem in the set NP-hard. Many problems that are natural applications in computer science and engin...
145
click to vote
EWC
2007
15 years 6 months ago
2007
Methods are documented for active and passive damping studies with capabilities within NX I-deas and NX Nastran (http://www.ugs.com/products/nx/). The focus is on the methods that ...