Sciweavers

7106 search results - page 961 / 1422
» Restricted Complexity, General Complexity
Sort
View
IRI
2007
IEEE
16 years 1 months ago
ModelML: a Markup Language for Automatic Model Synthesis
Domain-specific modeling has become a popular way of designing and developing systems. It generally involves a systematic use of a set of object-oriented models to represent vari...
Cong Zhang, Amol Bakshi, Viktor K. Prasanna
IROS
2007
IEEE
188views Robotics» more  IROS 2007»
16 years 1 months ago
Behavior maps for online planning of obstacle negotiation and climbing on rough terrain
Abstract— To autonomously navigate on rough terrain is a challenging problem for mobile robots, requiring the ability to decide whether parts of the environment can be traversed ...
Christian Dornhege, Alexander Kleiner
IROS
2007
IEEE
134views Robotics» more  IROS 2007»
16 years 1 months ago
Feature selection for grasp recognition from optical markers
Abstract— Although the human hand is a complex biomechanical system, only a small set of features may be necessary for observation learning of functional grasp classes. We explor...
Lillian Y. Chang, Nancy S. Pollard, Tom M. Mitchel...
ISMVL
2007
IEEE
104views Hardware» more  ISMVL 2007»
16 years 1 months ago
Evaluation of Toggle Coverage for MVL Circuits Specified in the SystemVerilog HDL
Designing modern circuits comprised of millions of gates is a very challenging task. Therefore new directions are investigated for efficient modeling and verification of such syst...
Mahsan Amoui, Daniel Große, Mitchell A. Thor...
IWPC
2007
IEEE
16 years 1 months ago
Empirical Evaluation of a UML Sequence Diagram with Adornments to Support Understanding of Thread Interactions
Programs that use multi-threaded concurrency are known to be difficult to design. Moreover, research in computer-science education suggests that concurrency and synchronization co...
Shaohua Xie, Eileen Kraemer, R. E. Kurt Stirewalt