Sciweavers

407 search results - page 37 / 82
» Using Context for the Extraction of Relational Views
Sort
View
FMCAD
2008
Springer
15 years 1 months ago
A Theory of Mutations with Applications to Vacuity, Coverage, and Fault Tolerance
The quality of formal specifications and the circuits they are written for can be evaluated through checks such as vacuity and coverage. Both checks involve mutations to the specif...
Orna Kupferman, Wenchao Li, Sanjit A. Seshia
MTA
2006
296views more  MTA 2006»
14 years 11 months ago
The Cuidado music browser: an end-to-end electronic music distribution system
The IST project Cuidado, which started in January 2001, aims at producing the first entirely automatic chain for extracting and exploiting musical metadata for browsing music. The...
François Pachet, Jean-Julien Aucouturier, A...
ICANN
2009
Springer
15 years 3 months ago
Large-Scale Real-Time Object Identification Based on Analytic Features
Inspired by biological findings, we present a system that is able to robustly identify a large number of pre-trained objects in realtime. In contrast to related work, we do not res...
Stephan Hasler, Heiko Wersing, Stephan Kirstein, E...
ELPUB
2006
ACM
15 years 5 months ago
Open Access and Bakhtinian Dialogism
The article explores Open Access in the context of recent contributions in communication and public relations theory, notably Bakhtinian dialogism. Increasingly since the 1960s co...
Robert W. Vaagan
PVLDB
2010
184views more  PVLDB 2010»
14 years 10 months ago
TimeTrails: A System for Exploring Spatio-Temporal Information in Documents
Spatial and temporal data have become ubiquitous in many application domains such as the Geosciences or life sciences. Sophisticated database management systems are employed to ma...
Jannik Strötgen, Michael Gertz