1175 search results - page 121 / 235 » Abstract computability and algebraic specification |
GRID
2006
Springer
13 years 9 months ago
2006
Springer
Abstract-- We describe an implementation based on the WSNotification (WSN) specification for Publish/Subscribe communication which provides a distributed, content-based notificatio...
MOC
2002
13 years 8 months ago
2002
Abstract. We show how to use the parallelized kangaroo method for computing invariants in real quadratic function fields. Specifically, we show how to apply the kangaroo method to ...
NAACL
2010
13 years 6 months ago
2010
Coreference resolution is governed by syntactic, semantic, and discourse constraints. We present a generative, model-based approach in which each of these factors is modularly enc...
HCI
2009
13 years 6 months ago
2009
This paper aims at contributing to the evaluation of web accessibility and thus promoting design for all, considering the design process as an iterative process containing evaluati...
MLG
2007
Springer
14 years 3 months ago
2007
Springer
We give a universal kernel that renders all the regular languages linearly separable. We are not able to compute this kernel efficiently and conjecture that it is intractable, but...