1615 search results - page 75 / 323 » Computer science and decision theory |
SIGCSE
2010
ACM
14 years 2 months ago
2010
ACM
This paper presents the findings of an exploratory, qualitative study revealing computing instructors’ experience in adopting curriculum innovations. We interviewed eight instru...
AO
2007
13 years 9 months ago
2007
As a first step in the larger project of charting the ontology of computer programs, we pose three central questions: (1) Can programs, hardware, and metaprograms be organized into...
FMCAD
2006
Springer
14 years 19 days ago
2006
Springer
The last few years have seen the advent of a new breed of decision procedures for various fragments of first-order logic based on ional abstraction. A lazy satisfiability checker ...
STACS
1995
Springer
14 years 15 days ago
1995
Springer
Abstract. A solid object in 3-dimensional space may be described by a collection of all its topologically distinct 2-dimensional appearances, its aspect graph. In this paper, we st...
ICALP
2007
Springer
14 years 3 months ago
2007
Springer
We study the boundedness problem for monadic least fixed points as a decision problem. While this problem is known to be undecidable in general and even for syntactically very res...