Sciweavers

2902 search results - page 287 / 581
» Simple Local Models for Complex Dynamical Systems
Sort
View
150
Voted
EWSA
2004
Springer
16 years 3 days ago
Model Checking for Software Architectures
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
Radu Mateescu
ISER
1997
Springer
91views Robotics» more  ISER 1997»
15 years 11 months ago
Extracting Robotic Part-mating Programs from Operator Interaction with a Simulated Environment
We describe an integrated system for programming part-mating and contact tasks using simulation. A principal goal of this work is to make robotic programming easy and intuitive fo...
John E. Lloyd, Dinesh K. Pai
SIGOPS
2010
171views more  SIGOPS 2010»
15 years 5 months ago
Cassandra: a decentralized structured storage system
Cassandra is a distributed storage system for managing very large amounts of structured data spread out across many commodity servers, while providing highly available service wit...
Avinash Lakshman, Prashant Malik
IJCNN
2007
IEEE
16 years 1 months ago
Integrating a Flexible Representation Machinery in a Model of Human Concept Learning
— High-order human cognition involves processing of abstract and categorically represented knowledge. Traditionally, it has been considered that there is a single innate internal...
Toshihiko Matsuka, Yasuaki Sakamoto
ACII
2005
Springer
16 years 8 days ago
Face Alignment Under Various Poses and Expressions
In this paper, we present a face alignment system to deal with various poses and expressions. In addition to global shape model, we use component shape model such as mouth shape mo...
Shengjun Xin, Haizhou Ai