Sciweavers

7393 search results - page 519 / 1479
» Synthesis-for-testability using transformations
Sort
View
VAMOS
2010
Springer
15 years 8 months ago
Using Incremental Consistency Management for Conformance Checking in Feature-Oriented Model-Driven Engineering
Feature-Oriented Model-Driven Engineering (FOMDE) is an approach that lies at the intersection of two complementary paradigms for software construction, Model Driven Engineering (M...
Roberto E. Lopez-Herrejon, Alexander Egyed, Salvad...
ECIS
2001
15 years 8 months ago
Challenges to Successful ERP Use
Enterprise Resource Planning (ERP) packages have, in the last five years, transformed the way organisations go about the process of providing Information Systems. Instead of craft...
Robert W. Smyth
IJCAI
1989
15 years 8 months ago
Building a World Model for a Mobile Robot Using Dynamic Semantic Constraints
We are developing a new paradigm for a world model construction system which interprets a scene and builds a world model for a mobile robot using dynamic semantic constraints. The...
Minoru Asada, Yoshiaki Shirai
CVIU
2006
171views more  CVIU 2006»
15 years 7 months ago
Free viewpoint action recognition using motion history volumes
Action recognition is an important and challenging topic in computer vision, with many important applications including video surveillance, automated cinematography and understand...
Daniel Weinland, Rémi Ronfard, Edmond Boyer
DEBU
2006
163views more  DEBU 2006»
15 years 7 months ago
Towards Activity Databases: Using Sensors and Statistical Models to Summarize People's Lives
Automated reasoning about human behavior is a central goal of artificial intelligence. In order to engage and intervene in a meaningful way, an intelligent system must be able to ...
Tanzeem Choudhury, Matthai Philipose, Danny Wyatt,...