5314 search results - page 188 / 1063 » Hybrid Dynamic Programming |
172
click to vote
PPDP
2010
Springer
15 years 4 months ago
2010
Springer
Program Synthesis, which is the task of discovering programs that realize user intent, can be useful in several scenarios: enabling people with no programming background to develo...
182
click to vote
ICONS
2008
IEEE
16 years 26 days ago
2008
IEEE
In this paper we describe the complete workflow of analyzing the dynamic behavior of safety-critical embedded systems with HySAT. HySAT is an arithmetic constraint solver with a ...
153
click to vote
IROS
2008
IEEE
16 years 25 days ago
2008
IEEE
— When robot maintenance impedes the operation of other robots in a seaport container terminal, the operational efficiency is reduced. Therefore, robot reliability is necessary....
118
click to vote
IHM
2005
ACM
15 years 12 months ago
2005
ACM
The paper presents a novel technique for the exploration of an information space where elements are associated with a taxonomy and where each element has an associated attribute v...
171
click to vote
GRAMMARS
2000
15 years 6 months ago
2000
Inthis paper, we aim at giving alogical account of the representationalist view on minimalist grammars by refering to the notion of Proof-Net in Linear Logic. We propose at the sam...