Sciweavers

7167 search results - page 261 / 1434
» Answer Set Programming
Sort
View
CHI
2002
ACM
16 years 2 months ago
Tangible programming elements for young children
Tangible programming elements offer the dynamic and programmable properties of a computer without the complexity introduced by the keyboard, mouse and screen. This paper explores ...
Peta Wyeth, Helen C. Purchase
113
Voted
CADE
2008
Springer
16 years 2 months ago
Collaborative Programming: Applications of Logic and Automated Reasoning
Collaborative Programming is characterized by groups of people issuing instructions to computer systems. Collaborative Programming languages differ from traditional programming lan...
Timothy L. Hinrichs
FLOPS
2010
Springer
15 years 7 months ago
Tag-Free Combinators for Binding-Time Polymorphic Program Generation
Abstract. Binding-time polymorphism enables a highly flexible bindingtime analysis for offline partial evaluation. This work provides the tools to translate this flexibility into...
Peter Thiemann, Martin Sulzmann
LATIN
2010
Springer
15 years 9 months ago
Radix Cross-Sections for Length Morphisms
We prove that the radix cross-section of a rational set for a length morphism, and more generally for a rational function from a free monoid into N, is rational, a property that d...
Sylvain Lombardy, Jacques Sakarovitch
150
Voted
ICRA
2007
IEEE
146views Robotics» more  ICRA 2007»
15 years 8 months ago
Crowds of Moving Objects: Navigation Planning and Simulation
Abstract— This paper presents a solution to interactive navigation planning and real-time simulation of a very large number of entities moving in a virtual environment. From the ...
Julien Pettré, Helena Grillon, Daniel Thalm...