Sciweavers

10910 search results - page 69 / 2182
» Input modeling using a computer algebra system
Sort
View
FSEN
2007
Springer
15 years 4 months ago
Adapting the UPPAAL Model of a Distributed Lift System
Abstract. Groote, Pang and Wouters (2001) analyzed an existing distributed lift system using the process algebraic toolset µCRL. Pang, Karstens and Fokkink (2003) analyzed a redes...
Wan Fokkink, Allard Kakebeen, Jun Pang
HICSS
2002
IEEE
116views Biometrics» more  HICSS 2002»
15 years 2 months ago
Multiagent Modeling and Simulation in Human-Robot Mission Operations Work System Design
This paper describes a collaborative multiagent modeling and simulation approach for designing work systems. The Brahms environment is used to model mission operations for a semi-...
Maarten Sierhuis, William J. Clancey, Michael H. S...
ICVGIP
2008
14 years 11 months ago
Algebraic Splats Representation for Point Based Models
The primitives of point-based representations are independent but are rendered using surfels, which approximate the immediate neighborhood of each point linearly. A large number o...
Naveen Kumar Bolla, P. J. Narayanan
ACTA
2007
106views more  ACTA 2007»
14 years 10 months ago
Symbolic models for control systems
In this paper we provide a bridge between the infinite state models used in control theory to describe the evolution of continuous physical processes and the finite state models ...
Paulo Tabuada
CORR
2008
Springer
119views Education» more  CORR 2008»
14 years 9 months ago
Self-stabilizing Numerical Iterative Computation
Many challenging tasks in sensor networks, including sensor calibration, ranking of nodes, monitoring, event region detection, collaborative filtering, collaborative signal proces...
Ezra N. Hoch, Danny Bickson, Danny Dolev