13917 search results - page 2704 / 2784 » Abstraction of Probabilistic Systems |
200
click to vote
WISE
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Approximation has been identified as a potential way of reducing the complexity of logical reasoning. Here we explore approximation for speeding up instance retrieval in...
196
click to vote
ICAIL
2005
ACM
16 years 11 days ago
2005
ACM
d on Dung’s [4] abstract argumentation system • arguments: trees of chained defeasible inferences • aim: determine the status of a query given a belief base • incorporation...
211
click to vote
MM
2005
ACM
16 years 10 days ago
2005
ACM
We investigate methods of segmenting, visualizing, and indexing presentation videos by both audio and visual data. The audio track is segmented by speaker, and augmented with key ...
171
click to vote
MOBICOM
2005
ACM
16 years 10 days ago
2005
ACM
One of the challenging tasks in the deployment of dense wireless networks (like sensor networks) is in devising a routing scheme for node to node communication. Important consider...
153
click to vote
SC
2005
ACM
16 years 10 days ago
2005
ACM
We are developing Virtuoso, a system for distributed computing using virtual machines (VMs). Virtuoso must be able to mix batch and interactive VMs on the same physical hardware, ...