Sciweavers

2302 search results - page 237 / 461
» Modeling Intergovernmental Collaboration: A System Dynamics ...
Sort
View
171
Voted
FMCAD
2000
Springer
15 years 9 months ago
Scalable Distributed On-the-Fly Symbolic Model Checking
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
Shoham Ben-David, Tamir Heyman, Orna Grumberg, Ass...
ROBOCUP
2007
Springer
159views Robotics» more  ROBOCUP 2007»
16 years 5 days ago
Model Checking Hybrid Multiagent Systems for the RoboCup
Abstract. This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system cation on different levels of ab...
Ulrich Furbach, Jan Murray, Falk Schmidsberger, Fr...
COMPUTER
2002
103views more  COMPUTER 2002»
15 years 5 months ago
SimpleScalar: An Infrastructure for Computer System Modeling
tail defines the level of abstraction used to implement the model's components. A highly detailed model will faithfully simulate all aspects of machine operation, whether or n...
Todd M. Austin, Eric Larson, Dan Ernst
ECCV
2004
Springer
16 years 8 months ago
Modeling and Synthesis of Facial Motion Driven by Speech
We introduce a novel approach to modeling the dynamics of human facial motion induced by the action of speech for the purpose of synthesis. We represent the trajectories of a numbe...
Payam Saisan, Alessandro Bissacco, Alessandro Chiu...
HICSS
2007
IEEE
148views Biometrics» more  HICSS 2007»
16 years 12 days ago
A Survey of B2B Methodologies and Technologies: From Business Models towards Deployment Artifacts
Abstract— In recent years business-to-business (B2B) ecommerce has been subject to major rethinking. A paradigm shift from document centric file-based interchange of business in...
Jürgen Dorn, Christoph Grün, Hannes Wert...