Sciweavers

1087 search results - page 87 / 218
» Eta-Redexes in Partial Evaluation
Sort
View
POPL
1999
ACM
15 years 10 months ago
A Core Calculus of Dependency
Notions of program dependency arise in many settings: security, partial evaluation, program slicing, and call-tracking. We argue that there is a central notion of dependency commo...
Martín Abadi, Anindya Banerjee, Nevin Heint...
MVA
2000
232views Computer Vision» more  MVA 2000»
15 years 6 months ago
Automatic extraction of roads from aerial images based on scale space and snakes
We propose a new approach for automatic road extraction from aerial imagery with a model and a strategy mainly based on the multi-scale detection of roads in combination with geome...
Ivan Laptev, Helmut Mayer, Tony Lindeberg, Wolfgan...
JSAC
2008
95views more  JSAC 2008»
15 years 4 months ago
Cognitive Medium Access: Constraining Interference Based on Experimental Models
In this paper we design a cognitive radio that can coexist with multiple parallel WLAN channels while abiding by an interference constraint. The interaction between both systems is...
Stefan Geirhofer, Lang Tong, Brian M. Sadler
PVLDB
2010
97views more  PVLDB 2010»
15 years 4 months ago
TRAMP: Understanding the Behavior of Schema Mappings through Provenance
Though partially automated, developing schema mappings remains a complex and potentially error-prone task. In this paper, we present TRAMP (TRAnsformation Mapping Provenance), an ...
Boris Glavic, Gustavo Alonso, Renée J. Mill...
ACL
2010
15 years 4 months ago
Using Smaller Constituents Rather Than Sentences in Active Learning for Japanese Dependency Parsing
We investigate active learning methods for Japanese dependency parsing. We propose active learning methods of using partial dependency relations in a given sentence for parsing an...
Manabu Sassano, Sadao Kurohashi