Sciweavers

3384 search results - page 505 / 677
» More Testable Properties
Sort
View
SIAMSC
2008
106views more  SIAMSC 2008»
13 years 10 months ago
Finite Volume Simulation of the Geostrophic Adjustment in a Rotating Shallow-Water System
The goal of this article is to simulate rotating flows of shallow layers of fluid by means of finite volume numerical schemes. More precisely, we focus on the simulation of the geo...
Manuel J. Castro, Juan Antonio López, Carlo...
SIGMOD
2008
ACM
127views Database» more  SIGMOD 2008»
13 years 10 months ago
Minimization of tree pattern queries with constraints
Tree pattern queries (TPQs) provide a natural and easy formalism to query tree-structured XML data, and the efficient processing of such queries has attracted a lot of attention. ...
Ding Chen, Chee Yong Chan
SPE
2008
108views more  SPE 2008»
13 years 10 months ago
Effective asymmetric XML compression
The innate verbosity of the Extensible Markup Language remains one of its main weaknesses, especially when large XML documents are concerned. This problem can be solved with the a...
Przemyslaw Skibinski, Szymon Grabowski, Jakub Swac...
IJON
2007
130views more  IJON 2007»
13 years 10 months ago
A model of Frame and Verb Compliance in language acquisition
Researchers studying word learning have discovered that the syntactic frame in which a word appears plays an important role in the interpretation of the word, and this importance ...
Rutvik Desai
TALG
2008
93views more  TALG 2008»
13 years 10 months ago
Limitations of cross-monotonic cost-sharing schemes
A cost-sharing scheme is a set of rules defining how to share the cost of a service (often computed by solving a combinatorial optimization problem) amongst serviced customers. A ...
Nicole Immorlica, Mohammad Mahdian, Vahab S. Mirro...