Sciweavers

3906 search results - page 383 / 782
» From grids to places
Sort
View
AFP
1995
Springer
126views Formal Methods» more  AFP 1995»
15 years 10 months ago
Functional Programming with Overloading and Higher-Order Polymorphism
The Hindley/Milner type system has been widely adopted as a basis for statically typed functional languages. One of the main reasons for this is that it provides an elegant comprom...
Mark P. Jones
SPATIALCOGNITION
2000
Springer
15 years 10 months ago
Coarse Qualitative Descriptions in Robot Navigation
This work is about the integration of the skills robot control, landmark recognition, and qualitative reasoning in a single autonomous mobile system. It deals with the transfer of ...
Rolf Müller, Thomas Röfer, Axel Lankenau...
SI3D
1995
ACM
15 years 10 months ago
Object Associations: A Simple and Practical Approach to Virtual 3D Manipulation
This paper describes a software framework to aid in designing and implementing convenient manipulation behaviors for objects in a 3D virtual environment. A combination of almost r...
Richard W. Bukowski, Carlo H. Séquin
FLAIRS
2008
15 years 9 months ago
A Semantic Feature for Verbal Predicate and Semantic Role Labeling Using SVMs
This paper shows that semantic role labeling is a consequence of accurate verbal predicate labeling. In doing so, the paper presents a novel type of semantic feature for verbal pr...
Hansen A. Schwartz, Fernando Gomez, Christopher Mi...
WSC
2007
15 years 9 months ago
Stability analysis of the supply chain by using neural networks and genetic algorithms
Effectively managing a supply chain requires visibility to detect unexpected variations in the dynamics of the supply chain environment at an early stage. This paper proposes a me...
Alfonso Sarmiento, Luis Rabelo, Ramamoorthy Lakkoj...