14190 search results - page 2621 / 2838 » Abstractions for hybrid systems |
215
click to vote
SCHOLARPEDIA
2011
14 years 10 months ago
2011
Abstract. Scientists’ ability to generate and collect massive-scale datasets is increasing. As a result, constraints in data analysis capability rather than limitations in the av...
236
click to vote
AIME
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. The prediction of diagnosis codes is typically based on freetext entries in clinical documents. Previous attempts to tackle this problem range from strictly rule-based sy...
224
click to vote
ASUNAM
2011
IEEE
14 years 7 months ago
2011
IEEE
Abstract—Many important real-world systems, modeled naturally as complex networks, have heterogeneous interactions and complicated dependency structures. Link prediction in such ...
196
click to vote
ATAL
2011
Springer
14 years 7 months ago
2011
Springer
Recent work in communications and business modeling emphasizes a commitment-based view of interaction. By abstracting away from implementation-level details, commitments can poten...
254
click to vote
ATVA
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. In the traditional Boolean setting of formal verification, alternating automata are the key to many algorithms and tools. In this setting, the correspondence between dis...