Sciweavers

3116 search results - page 114 / 624
» Positively dependent types
Sort
View
FP
1991
95views Formal Methods» more  FP 1991»
15 years 7 months ago
Making Functionality More General
The notion of functionality is not cast in stone, but depends upon what we have as types in our language. With partial equivalence relations (pers) as types we show that the funct...
Graham Hutton, Ed Voermans
129
Voted
MHCI
2004
Springer
15 years 9 months ago
Supporting Mobile Applications with Real-Time Visualisation of GPS Availability
Many mobile applications rely on the Global Positioning System (GPS) to provide position and location information. However, there are many problems with using GPS in urban environm...
Anthony Steed
LION
2009
Springer
136views Optimization» more  LION 2009»
15 years 10 months ago
Fitness Landscape Analysis for the Resource Constrained Project Scheduling Problem
The fitness landscape of the resource constrained project scheduling problem is investigated by examining the search space position type distribution and the correlation between t...
Jens Czogalla, Andreas Fink
EVOW
2003
Springer
15 years 9 months ago
Pixel Statistics and False Alarm Area in Genetic Programming for Object Detection
This paper describes a domain independent approach to the use of genetic programming for object detection problems. Rather than using raw pixels or high level domain specific feat...
Mengjie Zhang, Peter Andreae, Mark Pritchard
LREC
2010
150views Education» more  LREC 2010»
15 years 5 months ago
The Impact of Grammar Enhancement on Semantic Resources Induction
In this paper describes the effects of the evolution of an Italian dependency grammar on a task of multilingual FrameNet acquisition. The task is based on the creation of virtual ...
Luca Dini, Giampaolo Mazzini