7991 search results - page 95 / 1599 » Using More Reasoning to Improve |
160
click to vote
ESOP
2004
Springer
15 years 11 months ago
2004
Springer
t) Peter W. O’Hearn Queen Mary, University of London In the 1960s Dijkstra suggested that, in order to limit the complexity of potential process interactions, concurrent programs...
122
click to vote
ICALT
2008
IEEE
16 years 8 days ago
2008
IEEE
The rehabilitation of a patient with Acquired Brain Injury begins during the acute treatment phase. It is important to focus on maximizing the patient's capabilities at home ...
200
Voted
SIGSOFT
2006
ACM
15 years 11 months ago
2006
ACM
Bitwise operations are commonly used in low-level systems code to access multiple data fields that have been packed into a single word. Program analysis tools that reason about s...
170
click to vote
ESWS
2009
Springer
16 years 11 days ago
2009
Springer
In this paper we describe a web-based tool that supports the human in revising ontology alignments. Our tool uses logical reasoning as a basis for detecting conflicts in mappings ...
184
click to vote
CSCW
2011
ACM
15 years 24 days ago
2011
ACM
Bug reporting/fixing is an important social part of the software development process. The bug-fixing process inherently has strong inter-personal dynamics at play, especially in h...