Sciweavers

193 search results - page 22 / 39
» Test Strategies for Evaluation of Semantic eGovernment Appli...
Sort
View
LICS
2009
IEEE
16 years 21 days ago
Ludics with Repetitions (Exponentials, Interactive Types and Completeness)
Abstract. Ludics is peculiar in the panorama of game semantics: we first have the definition of interaction-composition and then we have semantical types, as a set of strategies ...
Michele Basaldella, Claudia Faggian
PVLDB
2010
89views more  PVLDB 2010»
15 years 4 months ago
Recognizing Patterns in Streams with Imprecise Timestamps
Large-scale event systems are becoming increasingly popular in a variety of domains. Event pattern evaluation plays a key role in monitoring applications in these domains. Existin...
Haopeng Zhang, Yanlei Diao, Neil Immerman
AAAI
1997
15 years 7 months ago
Case-Based Similarity Assessment: Estimating Adaptability from Experience
Case-based problem-solving systems rely on similarity assessment to select stored cases whose solutions are easily adaptable to t current problems. However, widely-used similarity...
David B. Leake, Andrew Kinley, David C. Wilson
GECCO
2007
Springer
179views Optimization» more  GECCO 2007»
16 years 7 days ago
The second harmonic generation case-study as a gateway for es to quantum control problems
The Second Harmonic Generation (SHG), a process that turns out to be a good test case in the physics lab, can also be considered as a fairly simple theoretical test function for g...
Ofer M. Shir, Thomas Bäck
DSOM
2006
Springer
15 years 9 months ago
Towards a Managed Extensible Control Plane for Knowledge-Based Networking
This paper proposes an open, extensible control plane for a global event service, based on semantically rich messages. This is based on the novel application of control plane separ...
David Lewis, John Keeney, Declan O'Sullivan, Song ...