Sciweavers

3388 search results - page 415 / 678
» Type-theoretic design patterns
Sort
View
DASFAA
2006
IEEE
156views Database» more  DASFAA 2006»
16 years 21 days ago
TwigStackList-: A Holistic Twig Join Algorithm for Twig Query with Not-Predicates on XML Data
As business and enterprises generate and exchange XML data more often, there is an increasing need for searching and querying XML data. A lot of researches have been done to match ...
Tian Yu, Tok Wang Ling, Jiaheng Lu
IAT
2006
IEEE
16 years 21 days ago
Enhanced Recommendations through Propagation of Trust and Distrust
The incorporation of a trust network among the users of a recommender system (RS) proves beneficial to the quality and amount of recommendations. Involving also distrust can offe...
Patricia Victor, Chris Cornelis, Martine De Cock
ICALT
2006
IEEE
16 years 21 days ago
Tuning IMS LD for Implementing a Collaborative Lifelong Learning Scenario
This paper describes an approach for modeling and implementing a collaborative learning situation, which is part of a real lifelong learning scenario in astronomy. We adopt and sl...
Davinia Hernández Leo, Eloy D. Villasclaras...
ICRA
2006
IEEE
175views Robotics» more  ICRA 2006»
16 years 20 days ago
Software Components and Frameworks for Medical Robot Control
— Robots are increasingly being used in Computer Integrated Surgery (CIS) systems, yet to our knowledge, there is no open source software that is specifically targeted at this a...
Ankur Kapoor, Anton Deguet, Peter Kazanzides
IROS
2006
IEEE
160views Robotics» more  IROS 2006»
16 years 20 days ago
Bounding Gait in a Hybrid Wheeled-Leg Robot
— This paper discusses the first implementation of a dynamically stable bounding gait on a hybrid wheeled-leg robot. Design of the robot is reviewed and the controllers which al...
James Andrew Smith, Inna Sharf, Michael Trentini