1585 search results - page 217 / 317 » A framework for computer-aided validation |
138
click to vote
EDBT
2008
ACM
16 years 4 months ago
2008
ACM
Retrieving related graphs containing a query graph from a large graph database is a key issue in many graph-based applications, such as drug discovery and structural pattern recog...
121
click to vote
ICFP
2005
ACM
16 years 3 months ago
2005
ACM
Applied Type System (ATS) is recently proposed as a framework for designing and formalizing (advanced) type systems in support of practical programming. In ATS, the definition of ...
131
click to vote
MOBISYS
2003
ACM
16 years 3 months ago
2003
ACM
Due to node mobility and limitations on bandwidth availability in wireless channels, there exist unique challenges towards achieving efficient and effective information access in ...
141
Voted
SDM
2009
SIAM
16 years 1 months ago
2009
SIAM
To obtain correlated and complementary information contained in text mining and bibliometrics, hybrid clustering to incorporate textual content and citation information has become...
117
click to vote
ICWS
2009
IEEE
16 years 1 months ago
2009
IEEE
—Community of web services (CWS) is a society composed by a number of functionally identical web services. The communities always aim to increase their reputation level in order ...