1163 search results - page 113 / 233 » Department of Redundancy Department |
170
click to vote
LICS
2007
IEEE
16 years 4 days ago
2007
IEEE
d abstract) Marcin Jurdzi´nski and Ranko Lazi´c∗ Department of Computer Science, University of Warwick, UK An alternation-free modal µ-calculus over data trees is introduced ...
119
click to vote
WCRE
2007
IEEE
16 years 3 days ago
2007
IEEE
tection via Structural Abstraction William S. Evans Department of Computer Science University of British Columbia Vancouver, B.C. V6T 1Z4, CANADA Christopher W. Fraser Microsoft Re...
200
click to vote
AIME
2007
Springer
16 years 1 days ago
2007
Springer
Decision-making is a crucial aspect of emergency response during mass casualty incidents (MCIs). MCIs require rapid decisions to be taken by geographically-dispersed teams in an en...
137
click to vote
AUSDM
2007
Springer
16 years 1 days ago
2007
Springer
The advances in computing and information storage have provided vast amounts of data. The challenge has been to extract knowledge from this raw data; this has lead to new methods ...
151
click to vote
CAV
2007
Springer
16 years 1 days ago
2007
Springer
ng-Lens Abstraction for Markov Decision Processes⋆ In Proc. of CAV 2007: 19th International Conference on Computer-Aided Verification, Lectures Notes in Computer Science. c Spri...