1817 search results - page 270 / 364 » Extensive Games as Process Models |
102
Voted
EDBT
2010
ACM
15 years 6 months ago
2010
ACM
Most modern RDBMS depend on the query processing optimizer’s cost model to choose the best execution plan for a given query. Since the physical IO (PIO) is a costly operation to...
118
Voted
BMCBI
2005
15 years 21 days ago
2005
Background: To standardize gene product descriptions, a formal vocabulary defined as the Gene Ontology (GO) has been developed. GO terms have been categorized into biological proc...
155
click to vote
CVPR
2011
IEEE
14 years 8 months ago
2011
IEEE
This paper presents a complete solution to estimating a scene’s 3D geometry and appearance from multiple 2D images by using a statistical inverse ray tracing method. Instead of ...
203
Voted
ICDE
1996
IEEE
16 years 2 months ago
1996
IEEE
The Mariposa distributed data manager uses an economic model for managing the allocation of both storage objects and queries to servers. In this paper, we present extensions to th...
DAC
1998
ACM
16 years 1 months ago
1998
ACM
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...