Sciweavers

7865 search results - page 733 / 1573
» Large correlation analysis
Sort
View
229
Voted
ISOLA
2010
Springer
15 years 5 months ago
HATS: Highly Adaptable and Trustworthy Software Using Formal Methods
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
Reiner Hähnle
SMI
2010
IEEE
159views Image Analysis» more  SMI 2010»
15 years 5 months ago
X-maps: An Efficient Model for Non-manifold Modeling
Abstract--Many representation schemes have been proposed to deal with non-manifold and mixed dimensionalities objects. A majority of those models are based on incidence graphs and ...
David Cazier, Pierre Kraemer
216
Voted
HCI
2011
14 years 10 months ago
Discovering Context: Classifying Tweets through a Semantic Transform Based on Wikipedia
By mapping messages into a large context, we can compute the distances between them, and then classify them. We test this conjecture on Twitter messages: Messages are mapped onto t...
Yegin Genc, Yasuaki Sakamoto, Jeffrey V. Nickerson
ACL
2012
13 years 9 months ago
Corpus-based Interpretation of Instructions in Virtual Environments
Previous approaches to instruction interpretation have required either extensive domain adaptation or manually annotated corpora. This paper presents a novel approach to instructi...
Luciana Benotti, Martin Villalba, Tessa A. Lau, Ju...
168
Voted
ETS
2007
IEEE
94views Hardware» more  ETS 2007»
16 years 1 months ago
An Integrated Built-In Test and Repair Approach for Memories with 2D Redundancy
An efficient on-chip infrastructure for memory test and repair is crucial to enhance yield and availability of SoCs. Therefore embedded memories are commonly equipped with spare r...
Philipp Öhler, Sybille Hellebrand, Hans-Joach...