4048 search results - page 351 / 810 » Design Science, Engineering Science and Requirements Enginee... |
189
Voted
ISSTA
2006
ACM
16 years 25 days ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
281
Voted
AMTA
2004
Springer
16 years 8 days ago
2004
Springer
The public demonstration of a Russian-English machine translation system in New York in January 1954 – a collaboration of IBM and Georgetown University – caused a great deal of...
222
Voted
FSTTCS
2008
Springer
15 years 8 months ago
2008
Springer
We survey determinacy, definability, and complexity issues of Banach-Mazur games on finite and infinite graphs. Infinite games where two players take turns to move a token thro...
183
Voted
SIGCSE
2002
ACM
15 years 6 months ago
2002
ACM
This paper reports on the implication of different preferred learning styles on students'performance in the introductory programming sequence and on work in progress on how t...
168
Voted
TOMACS
2010
15 years 5 months ago
2010
This paper considers importance sampling as a tool for rare-event simulation. The focus is on estimating the probability of overflow in the downstream queue of a Jacksonian two-n...