1057 search results - page 67 / 212 » Theoretical and Experimental DNA Computation |
ACSC
2000
IEEE
15 years 2 months ago
2000
IEEE
A significant obstacle to the development of intelligent natural language processing systems is the lack of rich knowledge bases containing representations of world knowledge. Fo...
ITICSE
1999
ACM
15 years 2 months ago
1999
ACM
The paper addressesthe problem of making experiments for software engineering during laboratories. There is a need for experimental investigations. If experiments are performed in...
MFCS
1998
Springer
15 years 2 months ago
1998
Springer
Abstract. We provide concise abstract code for running the Java Virtual Machine (JVM) to execute compiled Java programs, and define a general compilation scheme of Java programs to...
106
click to vote
EXPCS
2007
15 years 1 months ago
2007
Context switching imposes a performance penalty on threads in a multitasking environment. The source of this penalty is both direct overhead due to running the context switch code...
CSR
2006
Springer
15 years 1 months ago
2006
Springer
We present a method to convert the construction of binary decision diagrams (BDDs) into extended resolution proofs. Besides in proof checking, proofs are fundamental to many applic...