1368 search results - page 34 / 274 » Personality-Based Practical Reasoning |
111
click to vote
CADE
2007
Springer
16 years 2 months ago
2007
Springer
Abstract. Automata-based decision procedures commonly achieve optimal complexity bounds. However, in practice, they are often outperformed by sub-optimal (but more local-search bas...
114
click to vote
ECIS
2011
14 years 1 months ago
2011
This paper discusses critical success factors (CSF) and best practice in relation to IT implementation in the health sector. We have studied a University Hospital’s implementati...
223
click to vote
POPL
2009
ACM
16 years 2 months ago
2009
ACM
Garbage collectors are notoriously hard to verify, due to their lowlevel interaction with the underlying system and the general difficulty in reasoning about reachability in graph...
156
Voted
INFOCOM
2009
IEEE
15 years 8 months ago
2009
IEEE
—Congestion control in wireless multi-hop networks is challenging and complicated because of two reasons. First, interference is ubiquitous and causes loss in the shared medium. ...
120
click to vote
DBPL
2007
Springer
15 years 8 months ago
2007
Springer
Macro tree transducers (mtt) are an important model that both covers many useful XML transformations and allows decidable exact typechecking. This paper reports our first step tow...