999 search results - page 125 / 200 » Constraints in Non-Boolean Contexts |
132
click to vote
ESANN
2008
15 years 7 months ago
2008
In this paper we define and address the problem of safe exploration in the context of reinforcement learning. Our notion of safety is concerned with states or transitions that can ...
172
click to vote
FMOODS
2008
15 years 7 months ago
2008
Abstract. Termination analysis has received considerable attention, traditionally in the context of declarative programming, and recently also for imperative languages. In existing...
172
Voted
WCET
2008
15 years 7 months ago
2008
Real-Time embedded systems must enforce strict timing constraints. In this context, achieving precise Worst Case Execution Time is a prerequisite to apply scheduling analysis and ...
157
click to vote
DAGSTUHL
2004
15 years 7 months ago
2004
One aim of tool integration is designing an integrated development environment that accesses the data/models of different tools and keeps them consistent throughout a project bein...
159
click to vote
ECSCW
2001
15 years 7 months ago
2001
This paper compares the properties of physical and digital workspaces in the context of a prototype of a collaborative virtual environment that has been developed with reference to...