Sciweavers

1150 search results - page 107 / 230
» Note from the Editor
Sort
View
AFP
1995
Springer
126views Formal Methods» more  AFP 1995»
14 years 19 days 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
14 years 19 days ago
Schematic Maps for Robot Navigation
An approach to high-level interaction with autonomous robots by means of schematic maps is outlined. Schematic maps are knowledge representation structures to encode qualitative s...
Christian Freksa, Reinhard Moratz, Thomas Barkowsk...
ICPR
2010
IEEE
13 years 11 months ago
Bangla and English City Name Recognition for Indian Postal Automation
Because of multi-lingual behavior destination address block of a postal document of an Indian state may be written in two or more scripts. From a statistical analysis of Indian pos...
Umapada Pal, R.k. Roy, Fumitaka Kimura
CCS
2008
ACM
13 years 11 months ago
Identity-based encryption with efficient revocation
Identity-based encryption (IBE) is an exciting alternative to public-key encryption, as IBE eliminates the need for a Public Key Infrastructure (PKI). Any setting, PKI- or identit...
Alexandra Boldyreva, Vipul Goyal, Virendra Kumar
CCCG
2008
13 years 10 months ago
On the Complexity of Point Recolouring in Geometric Graphs
Given a collection of points representing geographic data we consider the task of delineating boundaries based on the features of the points. Assuming that the features are binary...
Henk Meijer, Yurai Núñez Rodrí...