42738 search results - page 99 / 8548 » Search Computing Systems |
138
Voted
TSE
2010
14 years 9 months ago
2010
Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- a...
151
Voted
NAR
2011
14 years 5 months ago
2011
We present the relational database EDULISS (EDinburgh University Ligand Selection System), which stores structural, physicochemical and pharmacophoric properties of small molecule...
146
Voted
WWW
2005
ACM
16 years 3 months ago
2005
ACM
While the idea that querying mechanisms for complex relationships (otherwise known as Semantic Associations) should be integral to Semantic Web search technologies has recently ga...
144
Voted
AICT
2006
IEEE
15 years 8 months ago
2006
IEEE
Web Services are becoming the prominent paradigm for distributed computing and electronic businesses. This makes natural the extension of the concepts at the base of the workflow ...
138
Voted
VLDB
1997
ACM
15 years 6 months ago
1997
ACM
A new access method, called M-tree, is proposed to organize and search large data sets from a generic "metric space", i.e. where object proximity is only defined by a di...