4609 search results - page 809 / 922 » Automatic Generation of Sigma-Protocols |
190
click to vote
HASE
2008
IEEE
15 years 6 months ago
2008
IEEE
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
160
click to vote
ADHOC
2008
15 years 6 months ago
2008
The diversity of applications and typically scarce node resources set very tight constraints to Wireless Sensor Networks (WSN). It is not possible to fulfill all requirements with...
166
click to vote
AICOM
2008
15 years 6 months ago
2008
We propose a novel hybrid recommendation model in which user preferences and item features are described in terms of semantic concepts defined in domain ontologies. The exploitati...
171
click to vote
ASC
2008
15 years 6 months ago
2008
This paper presents a methodology for automatically generating online scheduling strategies for a complex objective defined by a machine provider. To this end, we assume independe...
163
click to vote
CGF
2010
15 years 6 months ago
2010
In this paper, we introduce the concept of isosurface similarity maps for the visualization of volume data. Isosurface similarity maps present structural information of a volume d...