3238 search results - page 325 / 648 » On the Computational Interpretation of Negation |
160
click to vote
CASSIS
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Abstract interpretation is a particularly well-suited methodology to build modular correctness proof of static analysers. Proof modularity becomes essential when correctn...
172
click to vote
CPM
2005
Springer
16 years 7 days ago
2005
Springer
Gene structure prediction is one of the most important problems in computational molecular biology. It involves two steps: the first is finding the evidence (e.g. predicting spl...
184
click to vote
EGC
2005
Springer
16 years 7 days ago
2005
Springer
Interactive applications like Problem Solving Environments require on demand access to Web Services, where the services are autonomously discovered, composed, selected and invocate...
172
click to vote
GECCO
2005
Springer
16 years 7 days ago
2005
Springer
The Push programming language was developed for use in genetic and evolutionary computation systems, as the representation within which evolving programs are expressed. It has bee...
160
click to vote
MHCI
2005
Springer
16 years 6 days ago
2005
Springer
We combine the functionality of a mobile Global Positioning System (GPS) with that of an MP3 player, implemented on a PocketPC, to produce a handheld system capable of guiding a u...