2694 search results - page 63 / 539 » Frege's New Science |
163
click to vote
ERSHOV
2003
Springer
15 years 12 months ago
2003
Springer
We present several new algorithms as well as new lower and upper bounds for optimizing functions underlying infinite games pertinent to computer-aided verification.
184
click to vote
CSCW
2012
ACM
14 years 2 months ago
2012
ACM
We study the relationship between Facebook popularity (number of contacts) and personality traits on a large number of subjects. We test to which extent two prevalent viewpoints h...
183
click to vote
SIGCSE
2009
ACM
16 years 7 months ago
2009
ACM
This paper describes a new tool for introducing computer graphics and multimedia applications into first year, called QuickDraw, and our experience using it. QuickDraw provides an...
188
click to vote
ITICSE
2003
ACM
15 years 12 months ago
2003
ACM
Most large research universities include a software design or software development course as a required or elective component of an undergraduate computer science major. For vario...
175
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
—This paper presents technology for performing autonomous commanding of a planetary rover. Through the use of AI planning, scheduling and execution techniques, the OASIS autonomo...