367 search results - page 49 / 74 » Adapting functional programs to higher order logic |
SIGSOFT
2007
ACM
16 years 13 days ago
2007
ACM
Asynchronous systems components are hard to write, hard to reason about, and (not coincidentally) hard to mechanically verify. In order to achieve high performance, asynchronous c...
142
click to vote
CSL
2007
Springer
15 years 5 months ago
2007
Springer
Programs and Abstract Complexity A. Beckmann University of Wales Swansea Swansea, UK Axiom systems are ubiquitous in mathematical logic, one famous and well studied example being ï...
196
click to vote
SIGMOD
2009
ACM
15 years 12 months ago
2009
ACM
Composite (or Complex) event processing (CEP) systems search sequences of incoming events for occurrences of userspecified event patterns. Recently, they have gained more attentio...
106
click to vote
ASSETS
2000
ACM
15 years 4 months ago
2000
ACM
A PC based desktop Virtual Reality system was developed for rehabilitating hand function in stroke patients. The system uses two hand input devices, a CyberGlove and a RMII force ...
CEC
2010
IEEE
15 years 25 days ago
2010
IEEE
The performance of Evolutionary Programming (EP) is affected by many factors (e.g. mutation operators and selection strategies). Although the conventional approach with Gaussian mu...