2694 search results - page 63 / 539 » Frege's New Science |
ERSHOV
2003
Springer
15 years 5 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.
102
click to vote
CSCW
2012
ACM
13 years 7 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...
SIGCSE
2009
ACM
16 years 14 days 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...
ITICSE
2003
ACM
15 years 5 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...
ICRA
2007
IEEE
15 years 6 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...