Sciweavers

2607 search results - page 425 / 522
» On the Architecture of System Verification Environments
Sort
View
AICOM
2005
108views more  AICOM 2005»
15 years 6 months ago
SIADEX: An interactive knowledge-based planner for decision support in forest fire fighting
SIADEX is a complex framework that integrates several AI techniques able to design fighting plans against forest fires. It is based on four main components, a web server, that cent...
Marc de la Asunción, Luis A. Castillo, Juan...
CN
2004
99views more  CN 2004»
15 years 6 months ago
Broadband communication support for earth observation from the International Space Station
In order to support the communications needs of Earth-observing instruments on the International Space Station (ISS), alternative communications architectures to provide broadband...
Alex T. Nguyen, Michael H. Hadjitheodosiou, John S...
TROB
2002
120views more  TROB 2002»
15 years 6 months ago
DPAC: an object-oriented distributed and parallel computing framework for manufacturing applications
Parallel and distributed computing infrastructure are increasingly being embraced in the context of manufacturing applications, including real-time scheduling. In this paper, we pr...
N. R. Srinivasa Raghavan, Tanmay Waghmare
TSC
2010
107views more  TSC 2010»
15 years 4 months ago
End-to-End Support for QoS-Aware Service Selection, Binding, and Mediation in VRESCo
—Service-Oriented Computing has recently received a lot of attention from both academia and industry. However, current service-oriented solutions are often not as dynamic and ada...
Anton Michlmayr, Florian Rosenberg, Philipp Leitne...
BC
2004
133views more  BC 2004»
15 years 6 months ago
Coevolution of active vision and feature selection
We show that complex visual tasks, such as position- and size-invariant shape recognition and navigation in the environment, can be tackled with simple architectures generated by a...
Dario Floreano, Toshifumi Kato, Davide Marocco, Er...