3238 search results - page 104 / 648 » Not Enough Points Is Enough |
AGENTS
2001
Springer
14 years 2 months ago
2001
Springer
Software agents are currently the subject of much research in many interrelated fields. Unfortunately, there has not been enough emphasis on defining the techniques required to bu...
GI
2001
Springer
14 years 2 months ago
2001
Springer
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...
NLPRS
2001
Springer
14 years 2 months ago
2001
Springer
Proposals for text classification and information retrieval have been recently presented making use of the WordNet ontology. Generally, this methodology requires statistical induc...
RSP
2000
IEEE
14 years 2 months ago
2000
IEEE
This paper describes a methodology for developing processor specific tools such as assemblers, disassemblers, processor simulators, compilers etc., using processor models in a ge...
AISC
2000
Springer
14 years 2 months ago
2000
Springer
There are many problems with the simplification of elementary functions, particularly over the complex plane. Systems tend to make “howlers” or not to simplify enough. In thi...