961 search results - page 139 / 193 » An Algorithm for Computing Semi-stable Semantics |
161
Voted
CIBCB
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract-- The advance of high-throughput experimental technologies poses continuous challenges to computational data analysis in functional and comparative genomics studies. Gene ...
102
Voted
AADEBUG
1993
Springer
15 years 6 months ago
1993
Springer
Program slicing is a program transformation that is useful in program debugging, program maintenance, and other applications that involve understanding program behavior. Given a p...
150
Voted
AMAI
2008
Springer
15 years 2 months ago
2008
Springer
We introduce a knowledge representation language AC(C) extending the syntax and semantics of ASP and CR-Prolog, give some examples of its use, and present an algorithm, ACsolver, ...
139
Voted
JAIR
2006
15 years 2 months ago
2006
Multimodal conversational interfaces provide a natural means for users to communicate with computer systems through multiple modalities such as speech and gesture. To build effect...
150
Voted
PPOPP
1991
ACM
15 years 6 months ago
1991
ACM
This paper presents Jade, a language which allows a programmer to easily express dynamic coarse-grain parallelism. Starting with a sequential program, a programmer augments those ...