3591 search results - page 338 / 719 » Typing linear constraints |
177
click to vote
WOLLIC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Database design aims to find a database schema that permits the efficient processing of common types of queries and updates on future database instances. Full first-ord...
193
Voted
SMA
2009
ACM
16 years 1 months ago
2009
ACM
We present a method for procedurally modeling general complex 3D shapes. Our approach is targeted towards applications in digital entertainment and gaming and can automatically ge...
169
Voted
AVSS
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we propose a shadow removal algorithm for indoor scenes. This algorithm uses three types of constraints: chromaticity consistency, texture consistency and range of ...
176
Voted
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
—An omnidirectional mobile robot is able, kinematically, to move in any planar direction regardless of current pose. To date, nearly all designs and analyses of omnidirectional r...
156
click to vote
IRI
2008
IEEE
16 years 1 months ago
2008
IEEE
— We revisit the problem of synthesis of service composition in the context of service oriented architecture from a tree automata perspective. Comparing to existing finite state...