1133 search results - page 196 / 227 » Local Logics for Traces |
190
click to vote
ENTCS
2007
15 years 6 months ago
2007
Poly-controlled partial evaluation (PCPE) is a flexible approach for specializing logic programs, which has been recently proposed. It takes into account repertoires of global co...
180
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
Reliable detection of human activity is an unsolved problem. The main is that low resolution and the unconstrained nature of realistic environments and human behaviourmakeform cue...
255
click to vote
ICDE
2007
IEEE
16 years 7 months ago
2007
IEEE
In many applications it is important to find a meaningful relationship between the schemas of a source and target database. This relationship is expressed in terms of declarative ...
156
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
This paper presents an adaptative algorithm for the segmentation of color images suited for document image analysis. The algorithm is based on a serialization of the k-means algor...
147
click to vote
CHI
2005
ACM
16 years 6 months ago
2005
ACM
Our Translation Assistant applies common sense logic to the problem of translating speech in real time from one language to another. Using speech recognition combined with a softw...