5378 search results - page 767 / 1076 » Base Logics in Argumentation |
90
Voted
IR
2007
15 years 22 days ago
2007
Documents formatted in eXtensible Markup Language (XML) are available in collections of various document types. In this paper, we present an approach for the summarisation of XML d...
110
Voted
ENTCS
2002
15 years 19 days ago
2002
Abstract. We present an extension to linear-time temporal logic (LTL) that combines the temporal specification with the collection of statistical data. By collecting statistics ove...
111
Voted
ENTCS
1998
15 years 15 days ago
1998
We consider a generalisation of Larsen and Skou’s [19] reactive probabilistic transition systems which exhibit three kinds of choice: action-guarded probabilistic choice, extern...
123
Voted
TCAD
2002
15 years 14 days ago
2002
The design of programmable logic architectures and supporting computer-aided design tools fundamentally requires both a good understanding of the combinatorial nature of netlist gr...
106
click to vote
CORR
2010
Springer
15 years 11 days ago
2010
Springer
Abstract. The paper investigates a novel approach, based on Constraint Logic Programming (CLP), to predict the 3D conformation of a protein via fragments assembly. The fragments ar...