Sciweavers

4218 search results - page 278 / 844
» Complete sets of cooperations
Sort
View
BMCBI
2006
129views more  BMCBI 2006»
15 years 6 months ago
Fast index based algorithms and software for matching position specific scoring matrices
Background: In biological sequence analysis, position specific scoring matrices (PSSMs) are widely used to represent sequence motifs in nucleotide as well as amino acid sequences....
Michael Beckstette, Robert Homann, Robert Giegeric...
ENTCS
2000
59views more  ENTCS 2000»
15 years 6 months ago
Building continuous webbed models for system F
We present here a large family of concrete models for Girard and Reynolds polymorphism (System F), in a non categorical setting. The family generalizes the construction of the mod...
Stefano Berardi, Chantal Berline
TVLSI
2002
130views more  TVLSI 2002»
15 years 5 months ago
Incremental compilation for parallel logic verification systems
Although simulation remains an important part of application-specific integrated circuit (ASIC) validation, hardware-assisted parallel verification is becoming a larger part of the...
R. Tessier, S. Jana
PUC
2010
122views more  PUC 2010»
15 years 4 months ago
What is happening now? Detection of activities of daily living from simple visual features
We propose and investigate a paradigm for activity recognition, distinguishing the ‘on-going activity’ recognition task (OGA) from that addressing ‘complete activities’ (C...
Bruno Lepri, Nadia Mana, Alessandro Cappelletti, F...
199
Voted
VLDB
2010
ACM
190views Database» more  VLDB 2010»
15 years 4 months ago
Continuous authentication on relational streams
According to the database outsourcing model, a data owner delegates database functionality to a thirdparty service provider, which answers queries received from clients. Authentic...
Stavros Papadopoulos, Yin Yang, Dimitris Papadias