827 search results - page 139 / 166 » Patterns for Timed Property Specifications |
111
click to vote
ICFP
2005
ACM
16 years 1 months ago
2005
ACM
High-level formalisms for reasoning about names and binding such uijn indices, various flavors of higher-order abstract syntax, ry of Contexts, and nominal abstract syntax address...
117
click to vote
KDD
1998
ACM
15 years 6 months ago
1998
ACM
We consider the problem of aggregation for uncertain and imprecise data. For such data, we define aggregation operators and use them to provide information on properties and patte...
114
click to vote
BMCBI
2010
15 years 2 months ago
2010
Background: MHC/HLA class II molecules are important components of the immune system and play a critical role in processes such as phagocytosis. Understanding peptide recognition ...
153
click to vote
MOBIQUITOUS
2007
IEEE
15 years 8 months ago
2007
IEEE
Client side caching of location dependent queries is an important technique for improving performance of location-based services. Most of the existing research in this area has fo...
129
click to vote
ICAPR
2005
Springer
15 years 7 months ago
2005
Springer
Contrary to popular belief, despite decades of research in fingerprints, reliable fingerprint recognition is an open problem. Extracting features out of poor quality prints is t...