3001 search results - page 241 / 601 » Recursive type generativity |
251
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
We introduce regular graph constraints and explore their decidability properties. The motivation for regular graph constraints is 1) type checking of changing types of objects in ...
191
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
Generally progressive procedural content in the context of 3D scene rendering is expressed as recursive functions where a finer level of detail gets computed on demand. Typical e...
208
click to vote
IJMMS
2007
15 years 6 months ago
2007
What does a ‘normal’ computer (or social) network look like? How can we spot ‘abnormal’ sub-networks in the Internet, or web graph? The answer to such questions is vital f...
182
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
In this paper, we present a temporal candidate generation scheme that can be applied to motion estimators in Scalable Video Codecs (SVCs). For bidirectional motion estimation, usu...
133
click to vote
CIVR
2004
Springer
15 years 12 months ago
2004
Springer
The paper discusses three IST projects focusing on the disclosure of video content via a combination of low-level multimodal feature analysis, abstraction, and browsing tools. The ...