6456 search results - page 871 / 1292 » Constraint Solving on Terms |
205
click to vote
MHCI
2009
Springer
16 years 1 months ago
2009
Springer
Mobile users listen to large digital music libraries with thousands of songs. Browsing such libraries in mobile contexts is difficult due to constraints of the context and devices...
200
click to vote
NORDSEC
2009
Springer
16 years 1 months ago
2009
Springer
Runtime enforcement is a common mechanism for ensuring that program executions adhere to constraints specified by a security policy. It is based on two simple ideas: the enforceme...
185
click to vote
NOSSDAV
2009
Springer
16 years 1 months ago
2009
Springer
In recent years, integrated spatialized voice services have become an appealing application for networked virtual environments (NVE), e.g., Second Life. With a spatialized voice s...
172
click to vote
SPIRE
2009
Springer
16 years 1 months ago
2009
Springer
Given a pattern p over an alphabet Σp and a text t over an alphabet Σt, we consider the problem of determining a mapping f from Σp to Σ+ t such that t = f(p1)f(p2) . . . f(pm)....
206
click to vote
COMPGEOM
2009
ACM
16 years 1 months ago
2009
ACM
Extracting a computer model of a real scene from a sequence of views, is one of the most challenging and fundamental problems in computer vision. Stereo vision algorithms allow us...