5378 search results - page 228 / 1076 » Base Logics in Argumentation |
157
click to vote
APAL
2005
15 years 6 months ago
2005
A new semantics is presented for the logic of proofs (LP), [1, 2], based on the intuition that it is a logic of explicit knowledge. This semantics is used to give new proofs of se...
198
Voted
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure ...
173
click to vote
CLEF
2006
Springer
15 years 10 months ago
2006
Springer
This paper describes in detail the combination of NLP methods applied to the treatment of logic forms in the topic processing and statistical methods applied to the search engine ...
146
click to vote
JCP
2008
15 years 6 months ago
2008
Differentiated Services (DiffServ)-aware network potentially can provide the next generation platform for multimedia support in the Internet. In this work we look at improving band...
204
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: DNA microarray experiments are conducted in logical sets, such as time course profiling after a treatment is applied to the samples, or comparisons of the samples unde...