2152 search results - page 309 / 431 » On Automating the Calculus of Relations |
CONNECTION
2002
15 years 17 days ago
2002
In the USNavy,at the endof eachsailor's tour of duty, he or she is assigned to a newjob. TheNavyemployssome 280people,called detailers, full timeto effect thesenew assignment...
105
Voted
ENTCS
2002
15 years 16 days ago
2002
We present a novel technique called comparison checking that helps optimizer writers debug optimizers by testing, for given inputs, that the semantics of a program are not changed...
110
Voted
PUC
2007
15 years 7 days ago
2007
Research on smart houses has mostly been focused on automation and invisible integration of technology, which may lead to a perceived loss of control and a sense of being observed....
KI
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Unlike people, household robots cannot rely on commonsense knowledge when accomplishing everyday tasks. We believe that this is one of the reasons why they perform poorly...
IGARSS
2010
14 years 10 months ago
2010
From 1999 to 2009, the SeaWinds scatterometer has been used to detect and track large Antarctic icebergs on a daily basis. Here, we develop an automated estimation algorithm to su...