13917 search results - page 2610 / 2784 » Abstraction of Probabilistic Systems |
226
click to vote
CICLING
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Previous work has shown that modeling relationships between articles of a regulation as vertices of a graph network works twice as better than traditional information ret...
196
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract: Towed low frequency active sonar systems (LFAS) are used in Anti-Submarine Warfare (ASW) to detect submarines. LFAS systems are hampered by reverberation in shallow water...
257
click to vote
HIPC
2009
Springer
15 years 4 months ago
2009
Springer
Abstract--Microarray-based comparative genomic hybridization (aCGH) offers an increasingly fine-grained method for detecting copy number variations in DNA. These copy number variat...
218
Voted
JCC
2011
15 years 2 months ago
2011
Abstract: With today’s available computer power, free energy calculations from equilibrium molecular dynamics simulations “via counting” become feasible for an increasing num...
222
click to vote
JSS
2010
15 years 1 months ago
2010
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...