8132 search results - page 184 / 1627 » Dependability, Abstraction, and Programming |
190
click to vote
LPAR
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Recently, local logics for Mazurkiewicz traces are of increasing interest. This is mainly due to the fact that the satisfiability problem has the same complexity as in t...
178
click to vote
ADMA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In order to exploit the dependencies in relational data to improve predictions, relational classification models often need to make simultaneous statistical judgments abo...
132
click to vote
ICRA
2007
IEEE
16 years 26 days ago
2007
IEEE
Abstract— In this paper we introduce an analysis of dependability of an elementary yet critical component of robotic systems designed to operate in environments shared with human...
132
click to vote
TSMC
2008
15 years 6 months ago
2008
Abstract--Deoxyribonucleic acid (DNA) coding methods determine the meaning of a certain character in individual chromosomes by the characters surrounding it. The meaning of each ch...
146
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—In many applications the traffic traversing the network has inter-packet dependencies due to application-level encoding schemes. For some applications, e.g., multimedia...