Sciweavers

5372 search results - page 240 / 1075
» complexity 2007
Sort
View
ICFEM
2007
Springer
14 years 2 months ago
Machine-Assisted Proof Support for Validation Beyond Simulink
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
Chunqing Chen, Jin Song Dong, Jun Sun 0001
OPODIS
2007
13 years 9 months ago
Small-World Networks: From Theoretical Bounds to Practical Systems
Abstract. In small-world networks, each peer is connected to its closest neighbors in the network topology, as well as to additional long-range contact(s), also called shortcut(s)....
François Bonnet, Anne-Marie Kermarrec, Mich...
IM
2008
13 years 8 months ago
Directed Random Dot Product Graphs
In this paper we consider three models for random graphs that utilize the inner product as their fundamental object. We analyze the behavior of these models with respect to cluster...
Stephen J. Young, Edward R. Scheinerman
DAGSTUHL
2003
13 years 9 months ago
Components, Features, and Agents in the ABC
Abstract. In this paper, we show how the concepts of objects, components, features and agents are used today in the Agent Building Center (ABC) environment in order to marry the mo...
Tiziana Margaria
CVPR
2007
IEEE
14 years 10 months ago
Cordless portable multi-view fringe projection system for 3D reconstruction
A newly devised lightweight sensor head, combining a digital LED projector and two cameras in a stereo arrangement with access to even complicated measurable object details, is pr...
Christian Bräuer-Burchardt, Christoph Munkelt...