5639 search results - page 217 / 1128 » Timed Abstract Non-interference |
104
click to vote
DLT
2010
15 years 4 months ago
2010
Abstract. The well-known parsing algorithm for the context-free grammars due to Valiant ("General context-free recognition in less than cubic time", Journal of Computer a...
95
Voted
COMPUTER
2002
15 years 2 months ago
2002
abstract service descriptions to specific physical addresses such as HTTP or SMTP statically at design time or dynamically at runtime.
158
click to vote
CDB
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Long DNA sequences have to be cut using restriction enzymes into small fragments whose lengths and/or nucleotide sequences can be analyzed by currently available technolo...
149
Voted
MICCAI
2010
Springer
15 years 14 days ago
2010
Springer
Abstract. Updating segmentation results in real-time based on repeated user input is a reliable way to guarantee accuracy, paramount in medical imaging applications, while making e...
184
Voted
MOBILIGHT
2010
15 years 14 days ago
2010
Abstract. This paper describes a framework for the design space exploration of resource-efficient software-defined radio architectures. This design space exploration is based on a ...