575 search results - page 88 / 115 » Wichita State University |
CAV
2008
Springer
14 years 11 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
14 years 11 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
14 years 11 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
14 years 11 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
14 years 11 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...