Sciweavers

262 search results - page 35 / 53
» Nonmonotonic Description Logic Programs: Implementation and ...
Sort
View
ICRA
2007
IEEE
103views Robotics» more  ICRA 2007»
15 years 3 months ago
Realization of Dynamics Simulator Embedded Robot Brain for Humanoid Robots
— This paper proposes the new robot programming environment in which robot motion programming environment and dynamics simulator are integrated. This allows robot motion programs...
Takashi Ogura, Kei Okada, Masayuki Inaba
PPDP
2010
Springer
14 years 7 months ago
Graph queries through datalog optimizations
This paperdescribes the use of a powerful graph query language for querying programs, and a novel combination of transformations for generating efficient implementations of the q...
K. Tuncay Tekle, Michael Gorbovitski, Yanhong A. L...
POPL
2011
ACM
14 years 9 days ago
Dynamic inference of static types for ruby
There have been several efforts to bring static type inference to object-oriented dynamic languages such as Ruby, Python, and Perl. In our experience, however, such type inference...
Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. F...
ENTCS
2002
113views more  ENTCS 2002»
14 years 9 months ago
An Operational Semantics for Declarative Multi-Paradigm Languages
Practical declarative multi-paradigm languages combine the main features of functional, logic and concurrent programming (e.g., laziness, sharing, higher-order, logic variables, n...
Elvira Albert, Michael Hanus, Frank Huch, Javier O...
JDS
2007
104views more  JDS 2007»
14 years 9 months ago
Operational Risk Management How an I-DSS May Help
Operational Risk management, the least covered component of Enterprise Wide Risk Management, needs intelligent tools to implement Comprehensive Emergency Management Programs. In t...
Pedro A. C. Sousa, João Paulo Pimentã...