Sciweavers

4616 search results - page 190 / 924
» Extreme Components Analysis
Sort
View
163
Voted
ISAMI
2010
15 years 1 months ago
A Framework for Modeling and Analysis of Ambient Agent Systems: Application to an Emergency Case
It is recognized in Ambient Intelligence that ambient devices should be modeled as intelligent autonomous components rather than passive information sources. The agent paradigm sui...
Tibor Bosse, Alexei Sharpanskykh
148
Voted
CVPR
2008
IEEE
16 years 5 months ago
Discriminative learned dictionaries for local image analysis
Sparse signal models have been the focus of much recent research, leading to (or improving upon) state-of-the-art results in signal, image, and video restoration. This article ext...
Julien Mairal, Francis Bach, Jean Ponce, Guillermo...
IROS
2009
IEEE
172views Robotics» more  IROS 2009»
15 years 10 months ago
System interdependence analysis for autonomous mobile robots
Abstract— Autonomous mobile robots are deployed in a variety of application domains, resulting in scenario specific implementations. However these systems share common component...
Florian Rohrmüller, Georgios Lidoris, Dirk Wo...
111
Voted
PRDC
2008
IEEE
15 years 10 months ago
Indirect Control Path Analysis and Goal Coverage Strategies for Elaborating System Safety Goals in Composite Systems
Correctly specifying requirements for composite systems is essential to system safety, particularly in a distributed development environment. Goal-oriented requirements engineerin...
Jennifer Black, Philip Koopman
LOPSTR
2007
Springer
15 years 9 months ago
Termination Analysis of Logic Programs Based on Dependency Graphs
This paper introduces a modular framework for termination analysis of logic programming. To this end, we adapt the notions of dependency pairs and dependency graphs (which were dev...
Manh Thang Nguyen, Jürgen Giesl, Peter Schnei...