2722 search results - page 494 / 545 » Automating Language Evolution |
127
click to vote
ICLP
2003
Springer
15 years 8 months ago
2003
Springer
Abstract The ntcc process calculus is a timed concurrent constraint programming (ccp) model equipped with a first-order linear-temporal logic (LTL) for expressing process specifi...
100
click to vote
COOPIS
2002
IEEE
15 years 8 months ago
2002
IEEE
The Semantic Web is a vision of the next generation Web, in which semantic markup will make Web resources more accessible to automatic processes. Description Logics (DLs) are of cr...
144
click to vote
IPPS
2002
IEEE
15 years 8 months ago
2002
IEEE
The goal of this research is to develop performance profiles of parallel and distributed applications in order to predict their execution time under different network conditions....
119
click to vote
ISSRE
2002
IEEE
15 years 8 months ago
2002
IEEE
Spreadsheet languages are widely used by a variety of end users to perform many important tasks. Despite their perceived simplicity, spreadsheets often contain faults. Furthermore...
133
click to vote
VISUALIZATION
2002
IEEE
15 years 8 months ago
2002
IEEE
The current state of the art in visualization research places a strong emphasis on different techniques to derive insight from disparate types of data. However, little work has in...