Sciweavers

2902 search results - page 287 / 581
» Simple Local Models for Complex Dynamical Systems
Sort
View
111
Voted
EWSA
2004
Springer
15 years 9 months 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
120
Voted
ISER
1997
Springer
91views Robotics» more  ISER 1997»
15 years 7 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
124
Voted
SIGOPS
2010
171views more  SIGOPS 2010»
15 years 2 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
140
Voted
IJCNN
2007
IEEE
15 years 10 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
155
Voted
ACII
2005
Springer
15 years 9 months 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