1969 search results - page 256 / 394 » Incremental Processing and Acceptability |
155
click to vote
ESWS
2007
Springer
16 years 18 days ago
2007
Springer
We present Explorative Debugging as a novel debugging paradigm for rule based languages. Explorative Debugging allows truly declarative debugging of rules and is well suited to sup...
168
click to vote
LADS
2007
Springer
16 years 17 days ago
2007
Springer
One of the main reasons about the success of the Web is that many “regular users” are able to create Web pages that, using hyperlinks, incrementally extend both the size and th...
195
click to vote
ROBOCUP
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. Two main challenges of robot action planning in real domains are uncertain action effects and dynamic environments. In this paper, an instance-based action model is lear...
153
click to vote
SAT
2007
Springer
16 years 16 days ago
2007
Springer
In this paper a new circuit sat based encoding of boolean formula is proposed. It makes an original use of the concept of restrictive models introduced by Boufkhad to polynomially ...
163
click to vote
ASAP
2006
IEEE
16 years 15 days ago
2006
IEEE
Data-Pipelining is a widely used model to represent streaming applications. Incremental decomposition and optimization of a data-pipelining application onto a multi-processor plat...