615 search results - page 95 / 123 » High-Level Nondeterministic Abstractions in |
AAAI
2004
14 years 11 months ago
2004
This paper introduces a hierarchical Markov model that can learn and infer a user's daily movements through the commue model uses multiple levels of abstraction in order to b...
112
click to vote
WOA
2003
14 years 10 months ago
2003
— This paper describes a methodology to design a workflow management system where a set of intelligent software agents composes an interactive scenario. The Workflow Management C...
ECIS
2000
14 years 10 months ago
2000
Abstract - Among other proposals to reform the German outpatient health care system the establishment of networks of cooperating physicians (doctors' networks) has found high ...
UAI
2007
14 years 10 months ago
2007
A research organization responds to a variety of customer requests. Each high level request is broken down into a set of low level requests. For each low level request, the resear...
ASPDAC
2008
ACM
14 years 10 months ago
2008
ACM
—In this paper we describe a practical methodology to formally verify highly optimized, industrial multipliers. We a multiplier description language which abstracts from low-leve...