5900 search results - page 103 / 1180 » Dependable Systems |
120
click to vote
POPL
2010
ACM
16 years 6 days ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
131
click to vote
ACL
2009
15 years 20 days ago
2009
Efficiency is a prime concern in syntactic MT decoding, yet significant developments in statistical parsing with respect to asymptotic efficiency haven't yet been explored in...
105
Voted
COLING
2008
15 years 4 months ago
2008
In this paper, we focus on the adaptation problem that has a large labeled data in the source domain and a large but unlabeled data in the target domain. Our aim is to learn relia...
136
click to vote
JAR
2006
15 years 2 months ago
2006
The dependency pair technique [1, 11, 12] is a powerful method for automated termination and innermost termination proofs of term rewrite systems (TRSs). For any TRS, it generates ...
103
click to vote
HICSS
2009
IEEE
15 years 9 months ago
2009
IEEE
Deriving nearly 90% of its primary energy resources from oil, the State of Hawaii is more dependent on oil than any other U.S. state. The price of electricity in Hawaii is also mo...