24554 search results - page 236 / 4911 » Dependable distributed systems |
152
click to vote
LREC
2008
15 years 7 months ago
2008
We address the question of which syntactic representation is best suited for role-semantic analysis of English in the FrameNet paradigm. We compare systems based on dependencies a...
196
click to vote
FUIN
2010
15 years 5 months ago
2010
Abstract. We present the type rules for a dependently typed core calculus together with a straightforward implementation in Haskell. We explicitly highlight the changes necessary t...
149
click to vote
JSAT
2010
15 years 1 months ago
2010
We present DepQBF 0.1, a new search-based solver for quantified boolean formulae (QBF). It integrates compact dependency graphs to overcome the restrictions imposed by linear quan...
167
click to vote
DFT
2008
IEEE
16 years 27 days ago
2008
IEEE
Integrated circuits (IC) targeting at the streaming applications for tomorrow are becoming a fast growing market. Applications such as beamforming require mass computing capabilit...
181
click to vote
DSN
2006
IEEE
16 years 14 days ago
2006
IEEE
The costs of data loss and unavailability can be large, so businesses use many data protection techniques, such as remote mirroring, snapshots and backups, to guard against failur...