6581 search results - page 966 / 1317 » Formalizing Design Patterns |
189
click to vote
CONCUR
2004
Springer
16 years 5 days ago
2004
Springer
We describe the expressive power of temporal branching time logics that use the modalities EX and EF. We give a forbidden pattern characterization of the tree languages definable...
167
click to vote
KES
2004
Springer
16 years 4 days ago
2004
Springer
ConceptNet is a very large semantic network of commonsense knowledge suitable for making various kinds of practical inferences over text. ConceptNet captures a wide range of common...
173
click to vote
SSDBM
2003
IEEE
16 years 1 days ago
2003
IEEE
Life science researchers frequently need to query large protein data sets in a variety of different ways. Protein data sets have a rich structure that includes its primary structu...
191
click to vote
BIRTHDAY
2003
Springer
16 years 12 hour ago
2003
Springer
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
160
click to vote
VLDB
1998
ACM
15 years 11 months ago
1998
ACM
Data warehouses provide a great deal of opportunities for performing data mining tasks such as classification and clustering. Typically, updates are collected and applied to the d...