1364 search results - page 170 / 273 » Comparative Branching-Time Semantics |
137
Voted
ICDAR
1999
IEEE
15 years 8 months ago
1999
IEEE
A method is presented for segmenting documents into conceptually related areas. Determining the equivalence of text is often based on the number of word repetitions. This approach...
120
Voted
IFL
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. Most array operations in Sac are specified in terms of so-called withloops, a Sac-specific form of array comprehension. Due to the map-like semantics of with-loops its ...
112
Voted
FGR
1998
IEEE
15 years 8 months ago
1998
IEEE
A method for extracting information about facial expressions from images is presented. Facial expression images are coded using a multi-orientation, multi-resolution set of Gabor ...
149
Voted
ECP
1997
Springer
15 years 7 months ago
1997
Springer
We present a framework for encoding planning problems in logic programs with negation as failure, having computational e ciency as our major consideration. In order to accomplish o...
125
Voted
FSTTCS
1993
Springer
15 years 7 months ago
1993
Springer
This paper will show the usefulness and elegance of strict intersection types for the Lambda Calculus; these are strict in the sense that they are the representatives of equivalen...