19003 search results - page 394 / 3801 » We Need Assurance |
155
click to vote
SIGMOD
2003
ACM
16 years 7 months ago
2003
ACM
We provide a concise yet complete formal definition of the semantics of XPath 1 and summarize efficient algorithms for processing queries in this language. Our presentation is int...
148
Voted
ICSE
2007
IEEE-ACM
16 years 7 months ago
2007
IEEE-ACM
Software evolution is made difficult by the need to integrate new features with all previously implemented features in the system. We present Spotlight, a prototype editor for sof...
114
click to vote
DCC
2006
IEEE
16 years 6 months ago
2006
IEEE
We present an algorithm to compute r-th roots in Fqm with complexity O((log m + r log q)m2 log2 q) for certain choices of m and q. This compares well to previously known algorithms...
123
Voted
HRI
2010
ACM
16 years 1 months ago
2010
ACM
Abstract—This essay investigates the situation of young researchers in the HRI community. I argue that we need to have a more child friendly environment to encourage young staff ...
198
Voted
CALCO
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present DBtk, a toolkit for Directed Bigraphs. DBtk supports a textual language for directed bigraphs, the graphical visualization of bigraphs, the calculation of IPO ...