1912 search results - page 215 / 383 » On the evaluation of argumentation formalisms |
171
click to vote
EICS
2009
ACM
16 years 1 months ago
2009
ACM
Smart environments (e.g., airports, hospitals, stadiums, and other physical spaces using ubiquitous computing to empower many mobile people) provide novel challenges for usability...
178
click to vote
TOOLS
2008
IEEE
16 years 25 days ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
183
click to vote
ICDE
2007
IEEE
16 years 24 days ago
2007
IEEE
Similarity search usually encounters a serious problem in the high dimensional space, known as the “curse of dimensionality”. In order to speed up the retrieval efficiency, p...
151
click to vote
IPPS
2007
IEEE
16 years 23 days ago
2007
IEEE
Consider a distributed network with nodes arranged in a tree, and each node having a local value. We consider the problem of aggregating values (e.g., summing values) from all nod...
188
click to vote
AIME
2007
Springer
16 years 20 days ago
2007
Springer
Software applications that work with biomedical data have significant knowledge-management requirements. Formal knowledge models and knowledge-based methods can be very useful in m...