1964 search results - page 384 / 393 » An analysis of extensible modelling for functional genomics ... |
258
click to vote
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
Graphs are widely used to model real world objects and their relationships, and large graph datasets are common in many application domains. To understand the underlying character...
179
click to vote
WWW
2010
ACM
16 years 25 days ago
2010
ACM
The World-Wide Web consists not only of a huge number of unstructured texts, but also a vast amount of valuable structured data. Web tables [2] are a typical type of structured in...
183
click to vote
TPHOL
2009
IEEE
16 years 15 days ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
205
click to vote
MIDDLEWARE
2009
Springer
16 years 12 days ago
2009
Springer
Mobile phones are set to become the universal interface to online services and cloud computing applications. However, using them for this purpose today is limited to two configura...
179
click to vote
FOCS
2008
IEEE
16 years 9 days ago
2008
IEEE
Learning problems form an important category of computational tasks that generalizes many of the computations researchers apply to large real-life data sets. We ask: what concept ...