Sciweavers

1215 search results - page 178 / 243
» On modeling, analysis, and optimization of packet aggregatio...
Sort
View
FMCO
2009
Springer
134views Formal Methods» more  FMCO 2009»
14 years 7 months ago
Verification of Context-Dependent Channel-Based Service Models
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
Natallia Kokash, Christian Krause, Erik P. de Vink
WSC
2004
14 years 11 months ago
Simulated Annealing for Selection of Experimental Regions in Response Surface Methodology Applications
In this paper we describe a methodology that includes the complementary use of simulated annealing and response surface methodology (RSM). The methodology was developed for analys...
Jeffrey B. Schamburg, Donald E. Brown
ICCV
2007
IEEE
15 years 4 months ago
Pose and Gaze Estimation in Multi-camera Networks for Non-restrictive HCI
Multi-camera networks offer potentials for a variety of novel human-centric applications through provisioning of rich visual information. In this paper, face orientation analysis ...
Chung-Ching Chang, Chen Wu, Hamid K. Aghajan
ATAL
2010
Springer
14 years 11 months ago
Aggregation-mediated collective perception and action in a group of miniature robots
We introduce a novel case study in which a group of miniaturized robots screen an environment for undesirable agents, and destroy them. Because miniaturized robots are usually end...
Grégory Mermoud, Loïc Matthey, William...
ASPDAC
2001
ACM
126views Hardware» more  ASPDAC 2001»
15 years 1 months ago
A new partitioning scheme for improvement of image computation
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
Christoph Meinel, Christian Stangier