Sciweavers

6762 search results - page 703 / 1353
» Multiple drafts model
Sort
View
AAAI
2004
15 years 9 months ago
Learning and Inferring Transportation Routines
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...
Lin Liao, Dieter Fox, Henry A. Kautz
UAI
2004
15 years 9 months ago
Factored Latent Analysis for far-field Tracking Data
This paper uses Factored Latent Analysis (FLA) to learn a factorized, segmental representation for observations of tracked objects over time. Factored Latent Analysis is latent cl...
Chris Stauffer
WSC
2004
15 years 9 months ago
A Framework for Adaptive Synchronization of Distributed Simulations
Increased complexity of simulation models and the related modeling needs for global supply chains have necessitated the execution of simulations on multiple processors. While dist...
Bertan Altuntas, Richard A. Wysk
WSC
2001
15 years 9 months ago
Commander behavior and course of action selection in JWARS
The Joint Warfare System (JWARS) is being equipped with a Commander Model (CM) to perform situation assessment and Course of Action (COA) selection, and a Commander Behavior Model...
Deborah Vakas, John Prince, H. Ric Blacksten, Chuc...
ASPDAC
2008
ACM
106views Hardware» more  ASPDAC 2008»
15 years 8 months ago
Verifying full-custom multipliers by Boolean equivalence checking and an arithmetic bit level proof
—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...
Udo Krautz, Markus Wedler, Wolfgang Kunz, Kai Webe...