892 search results - page 114 / 179 » Strategies in sentential reasoning |
116
Voted
ESOP
2011
Springer
14 years 4 months ago
2011
Springer
Programs written in scripting languages employ idioms that confound conventional type systems. In this paper, we highlight one important set of related idioms: the use of local con...
112
click to vote
ASPLOS
2012
ACM
13 years 8 months ago
2012
ACM
Multithreaded programs often suffer from synchronization bugs such as atomicity violations and deadlocks. These bugs arise from complicated locking strategies and ad hoc synchroni...
136
Voted
ICDE
2012
IEEE
13 years 3 months ago
2012
IEEE
— Uncertainties in data arise for a number of reasons: when the data set is incomplete, contains conflicting information or has been deliberately perturbed or coarsened to remov...
106
click to vote
HYBRID
2010
Springer
15 years 7 months ago
2010
Springer
The complexity of physical and engineering systems, both in terms of the governing physical phenomena and the number of subprocesses involved, is mirrored in ever more complex mat...
154
Voted
TABLEAUX
2000
Springer
15 years 4 months ago
2000
Springer
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. The FaCT system includes two reason...