1667 search results - page 155 / 334 » Extended clause learning |
144
click to vote
ICDCS
2007
IEEE
15 years 11 months ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
127
click to vote
ICTAI
2007
IEEE
15 years 11 months ago
2007
IEEE
Context-sensitive graph grammar construction tools have been used to develop and study interesting languages. However, the high dimensionality of graph grammars result in costly e...
141
click to vote
IROS
2007
IEEE
15 years 11 months ago
2007
IEEE
— A central challenging problem in humanoid robotics is to plan and execute dynamic tasks in dynamic environments. Given that the environment is known, sampling-based online moti...
208
click to vote
CONIELECOMP
2006
IEEE
15 years 11 months ago
2006
IEEE
Most of the existing 3D engines are overwhelmingly complex and do not integrate support for virtual characters. We have developed a teaching oriented 3D engine with support for su...
130
click to vote
CCGRID
2005
IEEE
15 years 10 months ago
2005
IEEE
CSCL systems can benefit from using a grid, since it offers a common infrastructure allowing an extended pool of resources that can provide supercomputing capabilities as well as...