Sciweavers

1025 search results - page 41 / 205
» Improved Behaviour of Tries by the
Sort
View
CICLING
2003
Springer
15 years 5 months ago
Natural Language in Information Retrieval
It seems the time is ripe for the two to meet: NLP has grown out of prototypes and IR is having hard time trying to improve precision. Two examples of possible approaches are consi...
Elzbieta Dura
AISC
2010
Springer
14 years 10 months ago
Some Considerations on the Usability of Interactive Provers
In spite of the remarkable achievements recently obtained in the field of mechanization of formal reasoning, the overall usability of interactive provers does not seem to be sensib...
Andrea Asperti, Claudio Sacerdoti Coen
OTM
2007
Springer
15 years 6 months ago
A Novel Overlay Network for a Secure Global Home Agent Dynamic Discovery
Mobile IP and Network Mobility are the IETF proposals to obtain mobility. However, both of them have routing limitations, due to the presence of an entity (Home Agent) in the commu...
Ángel Cuevas, Rubén Cuevas Rum&iacut...
AUSAI
2006
Springer
15 years 3 months ago
Incorporating Pageview Weight into an Association-Rule-Based Web Recommendation System
Web recommendation systems based on web usage mining try to mine users' behavior patterns from web access logs, and recommend pages to the online user by matching the user...
Liang Yan, Chunping Li
ICRA
2006
IEEE
116views Robotics» more  ICRA 2006»
15 years 5 months ago
PAW: a Hybrid Wheeled-leg Robot
— This paper discusses current wheeled mobility work on a hybrid wheeled-leg robot called PAW. In addition to providing design details, controllers are proposed for inclined turn...
James Andrew Smith, Inna Sharf, Michael Trentini