4743 search results - page 364 / 949 » The PlusCal Algorithm Language |
180
click to vote
ALENEX
2008
15 years 5 months ago
2008
We present the algorithmic core of a full text data base that allows fast Boolean queries, phrase queries, and document reporting using less space than the input text. The system ...
132
click to vote
JSW
2008
15 years 4 months ago
2008
A new tool for automated validation of attacks on authentication protocols has been used to find several errors and ambiguities in the list of attacks described in the well known r...
149
Voted
AIEDAM
2000
15 years 4 months ago
2000
The ability of a CAD system to perceive a three-dimensional model depicted in a single freehand sketch presents the practical possibility of bringing numerous established analysis...
169
Voted
JUCS
2002
15 years 4 months ago
2002
Abstract: This paper presents a complete system for scheduling transportation orders to a fleet of autonomous mobile robots in service environments. It consists of the autonomous m...
111
click to vote
SAC
2008
ACM
15 years 4 months ago
2008
ACM
This paper describes experiments concerned with the automatic analysis of emotions in text. We describe the construction of a large data set annotated for six basic emotions: ange...