Sciweavers

3780 search results - page 446 / 756
» Structured Relation Discovery using Generative Models
Sort
View
ICFEM
2009
Springer
15 years 4 months ago
Graded-CTL: Satisfiability and Symbolic Model Checking
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...
Alessandro Ferrante, Margherita Napoli, Mimmo Pare...
SIGMETRICS
2011
ACM
178views Hardware» more  SIGMETRICS 2011»
14 years 9 months ago
Soft error benchmarking of L2 caches with PARMA
The amount of charge stored in an SRAM cell shrinks rapidly with each technology generation thus increasingly exposing caches to soft errors. Benchmarking the FIT rate of caches d...
Jinho Suh, Mehrtash Manoochehri, Murali Annavaram,...
ACHI
2009
IEEE
15 years 10 months ago
SCRABBLE.GZ: A Web-Based Collaborative Game to Promote the Galician Language
We present in this paper a web-based version of a Scrabble game, describing its architecture and some implementation details. This architecture makes possible a high degree of int...
Guillermo de Bernardo, Ana Cerdeira-Pena, Oscar Pe...
DILS
2005
Springer
16 years 6 days ago
Information Integration and Knowledge Acquisition from Semantically Heterogeneous Biological Data Sources
Abstract. We present INDUS (Intelligent Data Understanding System), a federated, query-centric system for knowledge acquisition from autonomous, distributed, semantically heterogen...
Doina Caragea, Jyotishman Pathak, Jie Bao, Adrian ...
IPMI
2005
Springer
16 years 7 months ago
Multi-figure Anatomical Objects for Shape Statistics
Abstract. Multi-figure m-reps allow us to represent and analyze a complex anatomical object by its parts, by relations among its parts, and by the object itself as a whole entity. ...
Qiong Han, Stephen M. Pizer, Derek Merck, Sarang C...