780 search results - page 121 / 156 » Combining a Formal with an Example-driven Approach for Data ... |
147
click to vote
IJNSEC
2008
15 years 2 months ago
2008
Secure communication in wireless ad hoc sensor networks is a major research concern in the networking community. Especially the few available resources in terms of processing powe...
162
click to vote
ECCV
2004
Springer
16 years 4 months ago
2004
Springer
This paper presents a Bayesian framework for multi-cue 3D object tracking of deformable objects. The proposed spatio-temporal object representation involves a set of distinct linea...
108
click to vote
DAC
2007
ACM
16 years 3 months ago
2007
ACM
Due to increased variability trends in nanoscale integrated circuits, statistical circuit analysis has become essential. We present a novel method for post-silicon analysis that g...
113
click to vote
CIKM
2009
Springer
15 years 9 months ago
2009
Springer
Discovering correspondences between schema elements is a crucial task for data integration. Most schema matching tools are semiautomatic, e.g. an expert must tune some parameters ...
155
click to vote
MBEES
2008
15 years 4 months ago
2008
: In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing. We formalize coverage criteria and specify test goals using OCL. Then, we pr...