Sciweavers

4355 search results - page 340 / 871
» From Interpretation to Compilation
Sort
View
CORR
1999
Springer
81views Education» more  CORR 1999»
15 years 6 months ago
Inducing a Semantically Annotated Lexicon via EM-Based Clustering
We present a technique for automatic induction of slot annotations for subcategorization frames, based on induction of hidden classes in the EM framework of statistical estimation...
Mats Rooth, Stefan Riezler, Detlef Prescher, Glenn...
CORR
2010
Springer
106views Education» more  CORR 2010»
15 years 5 months ago
Simulation of Computer Network Attacks
In this work we present a prototype for simulating computer network attacks. Our objective is to simulate large networks (thousands of hosts, with applications and vulnerabilities)...
Carlos Sarraute, Fernando Miranda, José Ign...
FUIN
2010
156views more  FUIN 2010»
15 years 5 months ago
A Tutorial Implementation of a Dependently Typed Lambda Calculus
Abstract. We present the type rules for a dependently typed core calculus together with a straightforward implementation in Haskell. We explicitly highlight the changes necessary t...
Andres Löh, Conor McBride, Wouter Swierstra
WIOPT
2010
IEEE
15 years 5 months ago
Detecting events in the dynamics of ego-centered measurements of the internet topology
—Detecting events such as major routing changes or congestions in the dynamics of the internet topology is an important but challenging task. We explore here a top-down approach ...
Assia Hamzaoui, Matthieu Latapy, Clémence M...
ICIP
2010
IEEE
15 years 4 months ago
Spatial bayesian surprise for image saliency and quality assessment
We propose an alternative interpretation of Bayesian surprise in the spatial domain, to account for saliency arising from contrast in image context. Our saliency formulation is in...
Ioannis Gkioulekas, Georgios Evangelopoulos, Petro...