7121 search results - page 1245 / 1425 » Functions as Session-Typed Processes |
129
click to vote
JSAT
2006
15 years 4 months ago
2006
Abstract. We introduce new approaches intended to speed up determining the satisfiability of a given Boolean formula expressed as a conjunction of Boolean functions. A common prac...
163
click to vote
NAR
2008
15 years 4 months ago
2008
The Gene Ontology (GO) vocabulary has been extensively explored to analyze the functions of coexpressed genes. However, despite its extended use in Biology and Medical Sciences, t...
153
click to vote
SIAMCO
2008
15 years 4 months ago
2008
The moment problem matured from its various special forms in the late 19th and early 20th Centuries to a general class of problems that continues to exert profound influence on the...
131
click to vote
AIL
2005
15 years 4 months ago
2005
In this paper we show how dialogue-based theories of argumentation can contribute to the construction of effective systems of dispute resolution. Specifically we consider the role ...
117
click to vote
TASLP
2008
15 years 4 months ago
2008
Noise reduction, which aims at estimating a clean speech from noisy observations, has attracted a considerable amount of research and engineering attention over the past few decade...