Sciweavers

3812 search results - page 356 / 763
» Combinations of TRAP Based Systems
Sort
View
QEST
2006
IEEE
16 years 23 days ago
Bound-Preserving Composition for Markov Reward Models
Stochastic orders can be applied to Markov reward models and used to aggregate models, while introducing a bounded error. Aggregation reduces the number of states in a model, miti...
David Daly, Peter Buchholz, William H. Sanders
169
Voted
JCDL
2005
ACM
138views Education» more  JCDL 2005»
16 years 9 days ago
Comparative study of name disambiguation problem using a scalable blocking-based framework
In this paper, we consider the problem of ambiguous author names in bibliographic citations, and comparatively study alternative approaches to identify and correct such name varia...
Byung-Won On, Dongwon Lee, Jaewoo Kang, Prasenjit ...
153
Voted
CEAS
2005
Springer
16 years 9 days ago
SMTP Path Analysis
Most proponents of domain authentication suggest combining domain authentication with reputation services. This paper presents a new learning algorithm for learning the reputation...
Barry Leiba, Joel Ossher, V. T. Rajan, Richard Seg...
FM
2005
Springer
89views Formal Methods» more  FM 2005»
16 years 8 days ago
Control Law Diagrams in Circus
Abstract. Control diagrams are routinely used by engineers in the design of control systems. Yet, currently the formal verification of programs that implement the diagrams is a ch...
Ana Cavalcanti, Phil Clayton, Colin O'Halloran
MHCI
2005
Springer
16 years 7 days ago
Navigation control for mobile virtual environments
In this paper, we describe a project which uses PDAs to provide an interactive experience with a virtual environment. In particular, we focus on the navigational aspects of allowi...
Gary Marsden, Nicholas Tip