20 search results - page 4 / 4 » Errors in Operational Spreadsheets: A Review of the State of... |
SIGMOD
2009
ACM
14 years 5 months ago
2009
ACM
The skyline of a d-dimensional dataset consists of all points not dominated by others. The incorporation of the skyline operator into practical database systems necessitates an ef...
ICRA
2008
IEEE
13 years 11 months ago
2008
IEEE
— There are two main limitations in the conventional robot-assisted spinal fusion surgery. Since the end effector in the state of art has a role of guiding the insertion pose of ...
PPDP
2007
Springer
13 years 11 months ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
AAAI
2008
13 years 7 months ago
2008
Multi-category classification of short dialogues is a common task performed by humans. When assigning a question to an expert, a customer service operator tries to classify the cu...
ICMLA
2008
13 years 6 months ago
2008
Accurate lung tumor targeting in real time plays a fundamental role in image-guide radiotherapy of lung cancers. Precise tumor targeting is required for both respiratory gating an...