4224 search results - page 352 / 845 » Reasoning about Choice |
204
click to vote
ECCV
2004
Springer
16 years 29 days ago
2004
Springer
Abstract. We present a new method for delineating the osseous interface in ultrasound images. Automatic segmentation of the bone-soft tissues interface is achieved by mimicking the...
195
click to vote
EMISA
2004
Springer
16 years 29 days ago
2004
Springer
Abstract: Group-oriented web information systems (GWISs) are web-based dataintensive systems that are used by a group of people in order to fulfill common tasks. In particular, th...
223
click to vote
ICWE
2004
Springer
16 years 28 days ago
2004
Springer
The Semantic Web will allow software agents to understand and reason about data provided by Web applications. Unfortunately, formal ontologies, needed to express data semantics, ar...
210
click to vote
KR
2004
Springer
16 years 28 days ago
2004
Springer
This paper presents a theory of informative communications among agents that allows a speaker to communicate to a hearer truths about the state of the world; the occurrence of eve...
183
click to vote
OOPSLA
2004
Springer
16 years 27 days ago
2004
Springer
The main goal of this PhD thesis is to propose and implement a methodology for the construction of programs based on the SCOOP model, and for modular reasoning about their correct...