Sciweavers

1897 search results - page 29 / 380
» eg 2007
Sort
View
FDL
2007
IEEE
14 years 3 months ago
A Case-Study in Property-Based Synthesis: Generating a Cache Controller from a Property-Set
Abstract—Property-based synthesis has become a more prominent topic during the last years, being used in multiple areas like e.g. formal verification and design automation. We w...
Martin Schickel, Martin Oberkönig, Martin Sch...
FUZZIEEE
2007
IEEE
14 years 3 months ago
Blockwise Similarity in [0, 1] via Triangular Norms and Sugeno Integrals - Application to Cluster Validity
— In many fields, e.g. decision-making, numerical values in [0,1] are available and one is often interested in detecting which are similar. In this paper, we propose an operator...
Hoel Le Capitaine, Thomas Batard, Carl Frél...
GRC
2007
IEEE
14 years 3 months ago
Privacy in the Information and Communications Technologies
— Information and Communications Technologies (ICT) are fostering the appearance of a plethora of new services and applications. On the one hand, ICT will improve the efficiency...
Antoni Martínez-Ballesté, Agusti Sol...
IROS
2007
IEEE
108views Robotics» more  IROS 2007»
14 years 3 months ago
Discovery of other individuals by projecting a self-model through imitation
— This paper proposes a novel model which enables a humanoid robot infant to discover other individual (e.g. human parent). In this work, the authors define “other individual...
Ryunosuke Yokoya, Tetsuya Ogata, Jun Tani, Kazunor...
SASO
2007
IEEE
14 years 3 months ago
Shruti: A Self-Tuning Hierarchical Aggregation System
Current aggregation systems either have a single inbuilt aggregation mechanism or require applications to specify an aggregation policy a priori. It is hard to predict the read an...
Praveen Yalagandula, Michael Dahlin