575 search results - page 88 / 115 » Wichita State University |
CAV
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) ...
DAGSTUHL
2007
13 years 9 months ago
2007
Abstract. This paper makes a foundational contribution to the discussions on the very nature of belief change operations. Belief revision and pdate are investigated within an abstr...
LREC
2010
13 years 9 months ago
2010
This paper describes the Error-Annotated German Learner Corpus (EAGLE), a corpus of beginning learner German with grammatical error annotation. The corpus contains online workbook...
FECS
2007
13 years 9 months ago
2007
Computing professionals are employed in so many different ways that it is difficult to even define the common foundation that all of them should master; however, a single degree ...
SOCRATES
2008
13 years 9 months ago
2008
In Fall 2007, Utah State University professor David Wiley held a course about Open Education. That time Dr Wiley's course was followed by an unusual group of students. The Fa...