5752 search results - page 653 / 1151 » Informative Labeling Schemes |
204
click to vote
CVBIA
2005
Springer
16 years 18 days ago
2005
Springer
Analysis of medical images, especially the extraction of anatomical structures, is a critical component of many medical applications: surgical planning and navigation, and populati...
183
click to vote
MFCS
2004
Springer
16 years 12 days ago
2004
Springer
We define BACI (Boxed Ambients with Communication Interfaces), an ambient calculus with a flexible communication policy. Traditionally, typed ambient calculi have a fixed commu...
164
click to vote
SEMWEB
2004
Springer
16 years 12 days ago
2004
Springer
The Semantic Web is bound to be untrustworthy and inconsistent. In this paper, we present an initial approach for obtaining useful information in such an environment. In particular...
222
Voted
ICLP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. In this doctoral work we aim at developing a new approach to labelled semantics and equivalences for the Concurrent Constraint Programming (CCP) which will enable a broad...
228
click to vote
ICIA
2007
15 years 9 months ago
2007
Tasks have been identified as playing an important role to knowledge workers as high-level units for organizing their information. TaskTracer is a task-aware desktop system that l...