1055 search results - page 87 / 211 » Enumerations in computable structure theory |
135
click to vote
CSB
2003
IEEE
15 years 9 months ago
2003
IEEE
Reverse-engineering of gene networks using linear models often results in an underdetermined system because of excessive unknown parameters. In addition, the practical utility of ...
150
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
We investigate the computational complexity of reasoning about multi-agent systems using the cooperation logic ATL of Alur, Henzinger, and Kupferman. It is known that satisfiabili...
136
click to vote
CSDA
2007
15 years 4 months ago
2007
The knowledge of the state sequences that explain a given observed sequence for a known hidden Markovian model is the basis of various methods that may be divided into three categ...
118
click to vote
SMI
2005
IEEE
15 years 10 months ago
2005
IEEE
We present an approach to hierarchically encode the topology of functions over triangulated surfaces. We describe the topology of a function by its Morse-Smale complex, a well kno...
124
click to vote
ESOP
2009
Springer
15 years 11 months ago
2009
Springer
We present a type theory for analyzing concurrent multiparty interactions as found in service-oriented computing. Our theory introduces a novel and flexible type structure, able t...