3281 search results - page 472 / 657 » Bases for parametrized iterativity |
112
Voted
ICML
2007
IEEE
16 years 2 months ago
2007
IEEE
We propose statistical predicate invention as a key problem for statistical relational learning. SPI is the problem of discovering new concepts, properties and relations in struct...
SIGSOFT
2006
ACM
16 years 2 months ago
2006
ACM
Atomicity is a desirable property for business processes to conduct transactions in Business-to-Business (B2B) collaboration. Although it is possible to reason about atomicity of ...
117
click to vote
ISBI
2002
IEEE
16 years 2 months ago
2002
IEEE
This paper describes a novel method for calibration of freehand three-dimensional (3D) ultrasound. A position sensor is mounted on a conventional ultrasound probe, thus the set of...
WWW
2003
ACM
16 years 2 months ago
2003
ACM
Recent web search techniques augment traditional text matching with a global notion of "importance" based on the linkage structure of the web, such as in Google's P...
103
click to vote
PLDI
2010
ACM
15 years 11 months ago
2010
ACM
We define the reachability-bound problem to be the problem of finding a symbolic worst-case bound on the number of times a given control location inside a procedure is visited in ...