217 search results - page 9 / 44 » An Application of Symbolic Computation in the Physical Scien... |
DCC
2008
IEEE
14 years 7 months ago
2008
IEEE
Let k, v, t be integers such that k v t 2. A perfect hash family PHF(N; k, v, t) can be defined as an N ? k array with entries from a set of v symbols such that every N ?t suba...
APGV
2007
ACM
13 years 11 months ago
2007
ACM
For humans, it is useful to be able to visually detect an object's physical properties. One potentially important source of information is the way the object moves and intera...
LICS
2006
IEEE
14 years 1 months ago
2006
IEEE
Automata on infinite objects are extensively used in system specification, verification, and synthesis. While some applications of the automata-theoretic approach have been wel...
PC
2002
13 years 7 months ago
2002
An emerging class of data-intensive applications involve the geographically dispersed extraction of complex scientific information from very large collections of measured or compu...
ICCS
2001
Springer
13 years 12 months ago
2001
Springer
The Fast Ocean Atmosphere Model (FOAM) is a climate system model intended for application to climate science questions that require long simulations. FOAM is a distributed-memory p...