908 search results - page 81 / 182 » Generating maximal models using the stable model semantics |
125
click to vote
ICWE
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. As a consequence of the success of the Web, methodologies for information system development need to consider systems that use the Web paradigm. These Web Information Sys...
153
click to vote
PAMI
2006
15 years 4 months ago
2006
Estimating human body poses in static images is important for many image understanding applications including semantic content extraction and image database query and retrieval. Th...
119
click to vote
WSC
2004
15 years 6 months ago
2004
The Telemedicine Program was created to provide medical assistance to people living in extreme poverty conditions in Mexico. Through a satellite connection, a physician located in...
148
Voted
FM
2006
Springer
15 years 8 months ago
2006
Springer
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
128
click to vote
AI
2002
Springer
15 years 4 months ago
2002
Springer
Systems provide a rich abstraction within which divers concepts of reasoning, acceptability and defeasibility of arguments, etc., may be studied using a unified framework. Two imp...