Sciweavers

193 search results - page 22 / 39
» Test Strategies for Evaluation of Semantic eGovernment Appli...
Sort
View
LICS
2009
IEEE
14 years 3 months 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»
13 years 7 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
13 years 10 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»
14 years 2 months 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
14 years 9 days 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 ...