5314 search results - page 188 / 1063 » Hybrid Dynamic Programming |
126
click to vote
PPDP
2010
Springer
15 years 29 days 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...
138
Voted
ICONS
2008
IEEE
15 years 9 months 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 ...
106
Voted
IROS
2008
IEEE
15 years 9 months 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....
82
Voted
IHM
2005
ACM
15 years 8 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...
117
Voted
GRAMMARS
2000
15 years 2 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...