6299 search results - page 1188 / 1260 » Data and Computation Abstractions for Dynamic and Irregular ... |
201
click to vote
ICIAR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Background updating is an important aspect of dynamic scene analysis. Two critical problems: sudden camera perturbation and the sleeping person problem, which arise frequ...
185
click to vote
LOPSTR
2005
Springer
15 years 11 months ago
2005
Springer
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...
168
click to vote
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Positioned at the confluence between human/machine and hardware/software integration and backed by a solid proof of concept realized through several scenarios encompassin...
156
click to vote
PLDI
1998
ACM
15 years 10 months ago
1998
ACM
This paper presents a typed programming language and compiler for run-time code generation. The language, called ML2, extends ML with modal operators in the style of the Mini-ML2 ...
166
click to vote
EMSOFT
2006
Springer
15 years 9 months ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...