6274 search results - page 1001 / 1255 » Proofs, Programs, Processes |
103
Voted
RTAS
2003
IEEE
15 years 6 months ago
2003
IEEE
Model-based automatic code generation is a process of converting abstract models into concrete implementations in the form of a program written in a high-level programming languag...
127
Voted
MM
2003
ACM
15 years 6 months ago
2003
ACM
combinFormation is a tool that enables browsing and collecting information elements in a generative space. By generative, we mean that the tool is an agent that automatically retr...
130
Voted
JAVA
2001
Springer
15 years 5 months ago
2001
Springer
CX, a network-based computational exchange, is presented. The system’s design integrates variations of ideas from other researchers, such as work stealing, non-blocking tasks, e...
106
Voted
WIA
2001
Springer
15 years 5 months ago
2001
Springer
This article describes a finite-state cascade for the extraction of person names in texts in French. We extract these proper names in order to categorize and to cluster texts with...
108
Voted
HCW
2000
IEEE
15 years 5 months ago
2000
IEEE
Applications that use collections of very large, distributed datasets have become an increasingly important part of science and engineering. With high performance wide-area networ...