10802 search results - page 1825 / 2161 » Generative and developmental systems |
193
click to vote
ECCV
2010
Springer
15 years 10 months ago
2010
Springer
Model updating is a critical problem in tracking. Inaccurate extraction of the foreground and background information in model adaptation would cause the model to drift and degrade ...
193
click to vote
ERLANG
2007
ACM
15 years 10 months ago
2007
ACM
We propose a small extension of the ERLANG language that allows programmers to specify contracts with type information at the level of individual functions. Such contracts are opt...
197
click to vote
CGI
2009
IEEE
15 years 10 months ago
2009
IEEE
Two dimensional point data can be considered one of the most basic, yet one of the most ubiquitous data types arising in a wide variety of applications. The basic scatter plot app...
187
click to vote
ESOP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. General refinement types allow types to be refined by predicates written in a general-purpose programming language, and can express function pre- and postconditions and d...
185
click to vote
EUROCRYPT
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We introduce a notion of instance-dependent verifiable random functions (InstD-VRFs for short). Informally, an InstD-VRF is, in some sense, a verifiable random function [...