2940 search results - page 66 / 588 » Relational Parametricity and Control |
ESOP
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. This paper studies continuations by means of a polymorphic type system. The traditional call-by-name continuation passing style transform admits a typing in which some an...
EVOW
2003
Springer
15 years 5 months ago
2003
Springer
This paper explores the application of evolutionary techniques to the design of novel sounds and their characteristics during performance. It is based on the “selective breedingâ...
BMCBI
2002
14 years 11 months ago
2002
Background: Robustness of mathematical models of biochemical networks is important for validation purposes and can be used as a means of selecting between different competing mode...
VLDB
2002
ACM
14 years 11 months ago
2002
ACM
The BANKS system enables keyword-based search on databases, together with data and schema browsing. BANKS enables users to extract information in a simple manner without any knowl...
IBPRIA
2007
Springer
15 years 6 months ago
2007
Springer
We present a new method for the synchronization of a pair of video sequences and the spatial registration of all the temporally corresponding frames. This is a mandatory step to pe...