Sciweavers

1724 search results - page 148 / 345
» Abstract Interpreters for Free
Sort
View
SEMWEB
2007
Springer
16 years 18 days ago
Web Search Personalization Via Social Bookmarking and Tagging
Abstract. In this paper, we present a new approach to web search personalization based on user collaboration and sharing of information about web documents. The proposed personaliz...
Michael G. Noll, Christoph Meinel
WOLLIC
2007
Springer
16 years 18 days ago
A Formal Calculus for Informal Equality with Binding
Abstract. In informal mathematical usage we often reason using languages with binding. We usually find ourselves placing capture-avoidance constraints on where variables can and c...
Murdoch Gabbay, Aad Mathijssen
ADG
2006
Springer
177views Mathematics» more  ADG 2006»
16 years 15 days ago
Recognition of Computationally Constructed Loci
Abstract. We propose an algorithm for automated recognition of computationally constructed curves and discuss several aspects of the recognition problem. Recognizing loci means det...
Peter Lebmeir, Jürgen Richter-Gebert
ANSS
2005
IEEE
16 years 4 days ago
GIPSE: Streamlining the Management of Simulation on the Grid
Although the grid allows the researcher to tap a vast amount of resources, the complexity involved in utilizing this power can make it unwieldy and time-consuming. The Grid Interf...
Justin M. Wozniak, Aaron Striegel, David Salyers, ...
ICRA
2005
IEEE
90views Robotics» more  ICRA 2005»
16 years 3 days ago
Dynamic Ambiguities in Frictional Rigid-body Systems with Application to Climbing via Bracing
Abstract— Constructing climbing behaviors for hyperredundant robots that account for the system dynamics requires a model of robot dynamics under contact and friction. One common...
Aaron Greenfield, Alfred A. Rizzi, Howie Choset