1341 search results - page 255 / 269 » Probabilistic Abstraction Hierarchies |
CAI
2011
Springer
14 years 1 months ago
2011
Springer
Abstract. The concatenation product is one of the most important operations on regular languages. Its study requires sophisticated tools from algebra, ļ¬nite model theory and proļ...
116
click to vote
SIAMSC
2011
14 years 28 days ago
2011
Abstract. Adaptive multiscale methods are among the many eļ¬ective techniques for the numerical solution of partial diļ¬erential equations. Eļ¬cient grid management is an import...
101
click to vote
EUROCRYPT
2012
Springer
13 years 16 days ago
2012
Springer
Abstract. Processing on encrypted data is a subject of rich investigation. Several new and exotic encryption schemes, supporting a diverse set of features, have been developed for ...
ICCBR
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. This paper presents KES (Knowledge Extraction and Summarization), a new knowledge-enhanced approach that builds a case memory out of episodic textual narratives. These na...
84
Voted
BIRTHDAY
2010
Springer
15 years 2 months ago
2010
Springer
Egon Bƶrger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...