1756 search results - page 248 / 352 » Current Directions in Hyper-Programming |
127
click to vote
JUCS
2006
15 years 4 months ago
2006
: We present a tutorial of the ITP tool, a rewriting-based theorem prover that can be used to prove inductive properties of membership equational specifications. We also introduce ...
158
click to vote
KES
2006
Springer
15 years 4 months ago
2006
Springer
Named entities (e.g., "Kofi Annan", "Coca-Cola", "Second World War") are ubiquitous in web pages and other types of document and often provide a simpl...
158
click to vote
NAR
2008
15 years 4 months ago
2008
CMGSDB (Database for Computational Modeling of Gene Silencing) is an integration of heterogeneous data sources about Caenorhabditis elegans with capabilities for compositional dat...
107
click to vote
PSYCHNOLOGY
2006
15 years 4 months ago
2006
Most of the Virtual Environments (VE) currently available in the field of psychological treatments are designed to solve a specific problem (acrophobia, flying phobia, claustropho...
151
click to vote
SIGIR
2008
ACM
15 years 4 months ago
2008
ACM
Any given Web search engine may provide higher quality results than others for certain queries. Therefore, it is in users' best interest to utilize multiple search engines. I...