Sciweavers

3207 search results - page 51 / 642
» A Semantics for HTN Methods
Sort
View
EUROPAR
2005
Springer
14 years 3 months ago
Epidemic-Style Management of Semantic Overlays for Content-Based Searching
A lot of recent research on content-based P2P searching for file-sharing applications has focused on exploiting semantic relations between peers to facilitate searching. To the be...
Spyros Voulgaris, Maarten van Steen
VMCAI
2005
Springer
14 years 3 months ago
An Overview of Semantics for the Validation of Numerical Programs
Interval computations, stochastic arithmetic, automatic differentiation, etc.: much work is currently done to estimate and to improve the numerical accuracy of programs but few c...
Matthieu Martel
FM
2009
Springer
95views Formal Methods» more  FM 2009»
14 years 4 months ago
A Robust Semantics Hides Fewer Errors
Steve Reeves, David Streader
FM
2005
Springer
81views Formal Methods» more  FM 2005»
14 years 3 months ago
Operational Semantics for Model Checking Circus
Jim Woodcock, Ana Cavalcanti, Leonardo Freitas
ACL
2007
13 years 11 months ago
Detecting Semantic Relations between Named Entities in Text Using Contextual Features
This paper proposes a supervised learning method for detecting a semantic relation between a given pair of named entities, which may be located in different sentences. The method ...
Toru Hirano, Yoshihiro Matsuo, Gen-ichiro Kikui