1626 search results - page 315 / 326 » Computing the Types of the Relationships between Autonomous ... |
APIN
2006
13 years 8 months ago
2006
Biologists are building increasingly complex models and simulations of cells and other biological entities, and are looking at alternatives to traditional representations. Making ...
SIGMOD
2007
ACM
14 years 8 months ago
2007
ACM
Sketching techniques can provide approximate answers to aggregate queries either for data-streaming or distributed computation. Small space summaries that have linearity propertie...
LICS
2008
IEEE
14 years 3 months ago
2008
IEEE
We show that the asymptotic complexity of uniformly generated (expressible in First-Order (FO) logic) propositional tautologies for the Nullstellensatz proof system (NS) as well a...
WIKIS
2006
ACM
14 years 2 months ago
2006
ACM
Wikipedia is the world’s largest collaboratively edited source of encyclopaedic knowledge. But in spite of its utility, its contents are barely machine-interpretable. Structural...
MOBICOM
2005
ACM
14 years 2 months ago
2005
ACM
People often seek information by asking other people even when they have access to vast reservoirs of information such as the Internet and libraries. This is because people are gr...