Sciweavers

1366 search results - page 224 / 274
» Modularizing Contexted Constraints
Sort
View
COMPSAC
2009
IEEE
15 years 3 months ago
Tamper Resistance for Software Defined Radio Software
The security of software defined radio (SDR) software is essential to the trustworthiness of the overall radio system. When designing and developing security solutions for SDR sof...
Shucai Xiao, Jung-Min Park, Yanzhu Ye
ICCBR
2010
Springer
15 years 3 months ago
Goal-Driven Autonomy with Case-Based Reasoning
The vast majority of research on AI planning has focused on automated plan recognition, in which a planning agent is provided with a set of inputs that include an initial goal (or ...
Héctor Muñoz-Avila, Ulit Jaidee, Dav...
EDBT
2009
ACM
144views Database» more  EDBT 2009»
15 years 3 months ago
Efficient maintenance techniques for views over active documents
Many Web applications are based on dynamic interactions between Web components exchanging flows of information. Such a situation arises for instance in mashup systems or when moni...
Serge Abiteboul, Pierre Bourhis, Bogdan Marinoiu
EDOC
2009
IEEE
15 years 3 months ago
Realizing Correspondences in Multi-viewpoint Specifications
Viewpoint modeling is an effective technique for specifying complex software systems in terms of a set of independent viewpoints and correspondences between them. Each viewpoint f...
José Raúl Romero, Juan Ignacio Jaen,...
3DPVT
2004
IEEE
119views Visualization» more  3DPVT 2004»
15 years 2 months ago
The Influence of Shape on Image Correspondence
We examine the implications of shape on the process of finding dense correspondence and half-occlusions for a stereo pair of images. The desired property of the depth map is that ...
Abhijit S. Ogale, Yiannis Aloimonos