4325 search results - page 253 / 865 » Incremental computation with names |
195
click to vote
ICALT
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract--jEditOQMath is an authoring tool for the intelligent learning environment ActiveMath. Its editing interface is a simple source editor. However the wealth and power of the...
162
click to vote
AI
2005
Springer
15 years 6 months ago
2005
Springer
We present a compiler that translates a problem specification into a propositional satisfiability test (SAT). Problems are specified in a logic-based language, called NP-SPEC, whi...
128
click to vote
ECIR
2009
Springer
16 years 3 months ago
2009
Springer
We describe two user studies that investigate organization strategies of autocompletion in a known-item search task: searching for terms taken from a thesaurus. In Study 1, we expl...
192
click to vote
MOBIQUITOUS
2008
IEEE
16 years 1 months ago
2008
IEEE
Multi-radio (multi-interface, multi-channel) 802.11 and sensor networks have been proposed to increase network capacity and to reduce energy consumption, to name only a few of the...
175
click to vote
ESOP
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Service Level Agreements are a key issue in Service Oriented Computing. SLA contracts specify client requirements and service guarantees, with emphasis on Quality of Serv...