8828 search results - page 1610 / 1766 » Formal methods in practice |
155
click to vote
MICCAI
2009
Springer
16 years 5 months ago
2009
Springer
Pulmonary valve disease affects a significant portion of the global population and often occurs in conjunction with other heart dysfunctions. Emerging interventional methods enable...
148
click to vote
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
The standard language for describing the asymptotic behavior of algorithms is theoretical computational complexity. We propose a method for describing the asymptotic behavior of p...
141
click to vote
WWW
2008
ACM
16 years 4 months ago
2008
ACM
Current search engines do not support user searches for chemical entities (chemical names and formulae) beyond simple keyword searches. Usually a chemical molecule can be represen...
146
click to vote
WWW
2004
ACM
16 years 4 months ago
2004
ACM
We present a Semantic Web application that we call CS AKTive Space1 . The application exploits a wide range of semantically heterogeneous and distributed content relating to Compu...
249
click to vote
PADL
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. For practical applications, the use of top-down query-driven proofprocedures is essential for an efficient use and computation of answers using Logic Programs as knowledg...