1007 search results - page 148 / 202 » The Complexity of Futile Questioning |
107
click to vote
FROCOS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Nowadays, formal methods rely on tools of different kinds: proof assistants with which the user interacts to discover a proof step by step; and fully automated tools whic...
128
click to vote
ASWEC
2006
IEEE
15 years 4 months ago
2006
IEEE
We propose a software development method for enterprise applications that combines the use of the structural concepts provided by problem frames, and the use of the UML notation. ...
ECAI
2006
Springer
15 years 4 months ago
2006
Springer
The application of Artificial Intelligence technology to the field of music has always been fascinating, from the first attempts in automating human problem solving behavior till t...
127
Voted
ESOP
2006
Springer
15 years 4 months ago
2006
Springer
We present a sound and complete proof technique, based on syntactic logical relations, for showing contextual equivalence of expressions in a -calculus with recursive types and imp...
131
Voted
BIBE
2001
IEEE
15 years 4 months ago
2001
IEEE
Effective analysis of genome sequences and associated functional data requires access to many different kinds of biological information. For example, when analysing gene expressio...