26354 search results - page 350 / 5271 » How we refactor, and how we know it |
186
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
We take a fresh look at the problem of how to check safety properties of finite state machines. We are particularly interested in checking safety properties with the help of a SAT-...
162
click to vote
ACL
2008
15 years 8 months ago
2008
We present a robust parser which is trained on a treebank of ungrammatical sentences. The treebank is created automatically by modifying Penn treebank sentences so that they conta...
129
click to vote
BCSHCI
2007
15 years 8 months ago
2007
In this paper we discuss how information technology impacts erotic life. This has been a neglected issue in most of the literature, even the literature on IT in the home. We argue...
154
click to vote
AAAI
1990
15 years 8 months ago
1990
To design a task-independent dialogue system, we present a task-oriented dialogue analysis in terms of finding the referents of definite descriptions and we show how this analysis...
136
click to vote
CI
2007
15 years 6 months ago
2007
Abstract. We present a general discussion of what constitutes a marketoriented approach to optimization. We demonstrate how a general framework can be used to conceptually improve ...