26354 search results - page 98 / 5271 » How we refactor, and how we know it |
CIKM
2011
Springer
12 years 10 months ago
2011
Springer
This paper describes how to make use of e-books that look like printed books in a knowledge network. After an overview of digitalization efforts and current digital library initia...
HRI
2009
ACM
14 years 5 months ago
2009
ACM
A long-standing question within the robotics community is about the degree of human-likeness robots ought to have when interacting with humans. We explore an unexamined aspect of ...
IEEEARES
2008
IEEE
14 years 4 months ago
2008
IEEE
Careless attention to opening files, often caused by problems with path traversal or shared directories, can expose applications to attacks on the file names that they use. In t...
KI
2007
Springer
14 years 4 months ago
2007
Springer
In this paper, we present a way of how to handle incomplete knowledge concerning moving objects. Our approach is based on the basic Qualitative Trajectory Calculus (QTCB), which is...
FSTTCS
2005
Springer
14 years 3 months ago
2005
Springer
We extend Howe’s method to prove that input-early strong and -delay contextual bisimulations are congruences for the Higher-order mobile embedded resources (Homer) calculus, a ty...