2662 search results - page 383 / 533 » Tools Demonstrations |
138
click to vote
SODA
2003
ACM
15 years 6 months ago
2003
ACM
This work examines algebraic techniques for comparing quadratic algebraic numbers, thus yielding methods for deciding key predicates in various geometric constructions. Our motiva...
142
click to vote
SODA
2003
ACM
15 years 6 months ago
2003
ACM
—A new class of distances appropriate for measuring similarity relations between sequences, say one type of similarity per distance, is studied. We propose a new “normalized in...
139
click to vote
AAAI
1997
15 years 6 months ago
1997
Tools for mining information from data can create added value for the Internet. As the majority of electronic documents available over the network are in unstructured textual form...
132
Voted
SAM
2000
15 years 6 months ago
2000
The development of an MSC based graphical representation of TTCN is part of the ETSI project STF 156 on 'Specification of a Message Sequence Chart/UML format, including valid...
134
click to vote
AAAI
1994
15 years 6 months ago
1994
CAT0 is an instructions environment for practicing basic skills of legal research: to use cases in arguments about a problem situation and to test a theory about a legal domain. U...