4870 search results - page 95 / 974 » Construction of Wavelets and Applications |
146
click to vote
DCC
2008
IEEE
16 years 6 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...
140
click to vote
ATAL
2007
Springer
16 years 16 days ago
2007
Springer
Collaborative construction is a main application in the field of autonomous systems. An interesting subject in the area is the construction of realistic human-like architecture. ...
146
click to vote
CIE
2007
Springer
16 years 16 days ago
2007
Springer
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...
179
click to vote
CAV
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Temporal logic is popular for specifying correctness properties of reactive systems. Real-time temporal logics add the ability to express quantitative timing aspects. Tab...
138
click to vote
SG
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. This paper introduces a semantic representation for virtual prototyping in interactive virtual construction applications. The representation reflects semantic information...