Sciweavers

635 search results - page 36 / 127
» Bridging the Gaps between Cameras
Sort
View
WOA
2003
15 years 1 months ago
Experiencing AUML for the WINK Multi-Agent System
— In the last few years, efforts have been done towards bridging the gap between agent technology and de facto standard technologies, aiming at introducing multi-agent systems in...
Sonia Bergamaschi, Gionata Gelati, Francesco Guerr...
WCE
2007
15 years 1 months ago
Manufacturing industries need Design of Experiments (DoE)
— Although experimentation is a frequent activity of engineers, they usually use primitive strategies to carry on their experiments. A survey identifies the needs of using an eff...
Martín Tanco, Elisabeth Viles, Laura Ilzarb...
ECEASST
2006
92views more  ECEASST 2006»
14 years 12 months ago
An MDA Framework Supporting OCL
We present an mda framework, developed in the functional programming language sml, that tries to bridge the gap between formal software development and the needs of industrial soft...
Achim D. Brucker, Jürgen Doser, Burkhart Wolf...
TCS
2008
14 years 11 months ago
Sound and complete computational interpretation of symbolic hashes in the standard model
This paper provides one more step towards bridging the gap between the formal and computational approaches to the verification of cryptographic protocols. We extend the well-known ...
Flavio D. Garcia, Peter van Rossum
TCS
2008
14 years 11 months ago
A note on the problem of reporting maximal cliques
Reporting the maximal cliques of a graph is a fundamental problem arising in many areas. This note bridges the gap between three papers addressing this problem: the original paper...
Frédéric Cazals, Chinmay Karande