Sciweavers

4965 search results - page 390 / 993
» A Simple Abstraction for Data Modeling
Sort
View
ISER
1999
Springer
112views Robotics» more  ISER 1999»
15 years 11 months ago
Models for Automated Earthmoving
Abstract: We present a composite forward model of the mechanics of an excavator backhoe digging in soil. This model is used to predict the trajectories developed by a closed-loop f...
Howard Cannon, Sanjiv Singh
RT
2000
Springer
15 years 10 months ago
Modeling and Rendering for Realistic Facial Animation
Abstract. Rendering realistic faces and facial expressions requires good models for the reflectance of skin and the motion of the face. We describe a system for modeling, animating...
Stephen R. Marschner, Brian K. Guenter, Sashi Ragh...
ACIIDS
2010
IEEE
171views Database» more  ACIIDS 2010»
15 years 9 months ago
Evolving Concurrent Petri Net Models of Epistasis
Abstract. A genetic algorithm is used to learn a non-deterministic Petri netbased model of non-linear gene interactions, or statistical epistasis. Petri nets are computational mode...
Michael Mayo, Lorenzo Beretta
ASM
2008
ASM
15 years 8 months ago
Formal Modeling and Analysis of a Flash Filesystem in Alloy
This paper describes the formal modeling and analysis of a design for a flash-based filesystem in Alloy. We model the basic operations of a filesystem as well as features that are ...
Eunsuk Kang, Daniel Jackson
ML
2008
ACM
100views Machine Learning» more  ML 2008»
15 years 6 months ago
Generalized ordering-search for learning directed probabilistic logical models
Abstract. Recently, there has been an increasing interest in directed probabilistic logical models and a variety of languages for describing such models has been proposed. Although...
Jan Ramon, Tom Croonenborghs, Daan Fierens, Hendri...