2299 search results - page 347 / 460 » Logical Data Expiration |
136
Voted
ICFP
2010
ACM
15 years 1 months ago
2010
ACM
A wide range of computer programs, including compilers and theorem provers, manipulate data structures that involve names and binding. However, the design of programming idioms wh...
97
Voted
BMCBI
2008
15 years 28 days ago
2008
Background: Comparative genomics has become a significant research area in recent years, following the availability of a number of sequenced genomes. The comparison of genomes is ...
123
Voted
ENTCS
2008
15 years 26 days ago
2008
HOL-TestGen is a specification and test case generation environment extending the interactive theorem prover Isabelle/HOL. The HOL-TestGen method is two-staged: first, the origina...
101
Voted
IJVR
2006
15 years 23 days ago
2006
This paper introduces SCIVE, a Simulation Core for Intelligent Virtual Environments. SCIVE provides a Knowledge Representation Layer (KRL) as a central organizing struc...
103
Voted
JCIT
2008
15 years 23 days ago
2008
Automatic speech recognition by machine is one of the most efficient methods for man-machine communications. Because speech waveform is nonlinear and variant. Speech recognition r...