178 search results - page 20 / 36 » Dependability Arguments with Trusted Bases |
FM
1999
Springer
13 years 11 months ago
1999
Springer
Conformance control for ATM cells is based on a real-time reactive algorithm which delivers a value depending on inputs from the network. This value must always agree with a well d...
ACL
2012
11 years 9 months ago
2012
For sentence compression, we propose new semantic constraints to directly capture the relations between a predicate and its arguments, whereas the existing approaches have focused...
NSPW
2004
ACM
14 years 26 days ago
2004
ACM
Over the past years, the computing industry has started various initiatives announced to increase computer security by means of new hardware architectures. The most notable effort...
EMNLP
2006
13 years 8 months ago
2006
This paper demonstrates how unsupervised techniques can be used to learn models of deep linguistic structure. Determining the semantic roles of a verb's dependents is an impo...
CCS
2006
ACM
13 years 11 months ago
2006
ACM
Home medical devices enable individuals to monitor some of their own health information without the need for visits by nurses or trips to medical facilities. This enables more con...