1058 search results - page 45 / 212 » Using Different Representations of Synchronous Systems in SA... |
159
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
This paper is concerned with the problem of computing the image of a set by a polynomial function. Such image computations constitute a crucial component in typical tools for set-b...
160
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
To build autonomous robots capable to plan and control tasks in human environments, we need a description of trajectories that allows the robot to reason on his moves. In this pape...
192
click to vote
ICDAR
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper describes a document image analysis system using multiple agents working on a pyramid structure to separate text from graphics in the image. Text strings appear as diff...
166
click to vote
SIGLEX
1991
15 years 10 months ago
1991
A computationally relevant theory of lexical semantics must take into consideration both the form and the content of three different static knowledge sources -- the lexicon, the o...
149
click to vote
TOG
2008
15 years 6 months ago
2008
We describe a new vector-based primitive for creating smoothshaded images, called the diffusion curve. A diffusion curve partitions the space through which it is drawn, defining d...