1559 search results - page 31 / 312 » The Semantics of Future and Its Use in Program Optimizations |
LCPC
2005
Springer
15 years 3 months ago
2005
Springer
We briefly introduce the notion of Semantically Enhanced Library Languages, SELL, as a practical and economical alternative to special-purpose programming languages for high-perfo...
WSC
2004
14 years 11 months ago
2004
Recently, simulation-based methods have been successfully used for solving challenging stochastic optimization problems and equilibrium models. Here we report some of the recent p...
83
Voted
ICRA
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— Imitation learning, or programming by demonstration (PbD), holds the promise of allowing robots to acquire skills from humans with domain-specific knowledge, who nonet...
AAAI
1998
14 years 11 months ago
1998
The paper presents a constructive 3-valued semantics for autoepistemic logic (AEL). We introduce a derivation operator and de ne the semantics as its least xpoint. The semantics is...
CLIMA
2007
14 years 11 months ago
2007
Over the years, Logic Programming has proved to be a good and natural tool for expressing, querying and manipulating explicit knowledge in many areas of computer science. However, ...