653 search results - page 107 / 131 » Implications of a Data Structure Consistency Checking System |
CIKM
2008
Springer
13 years 11 months ago
2008
Springer
Continuous time-series sequence matching, specifically, matching a numeric live stream against a set of predefined pattern sequences, is critical for domains ranging from fire spr...
POPL
2012
ACM
12 years 4 months ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
BTW
2003
Springer
14 years 2 months ago
2003
Springer
Dissemination systems are used to route information received from many publishers individually to multiple subscribers. The core of a dissemination system consists of an efficient...
BMCBI
2007
13 years 9 months ago
2007
Background: The mechanisms underlying protein function and associated conformational change are dominated by a series of local entropy fluctuations affecting the global structure ...
BMCBI
2002
13 years 8 months ago
2002
Background: Functional genomics involves the parallel experimentation with large sets of proteins. This requires management of large sets of open reading frames as a prerequisite ...