Sciweavers

13461 search results - page 150 / 2693
» Generalization with Taxonomic Information
Sort
View
ETRICS
2006
15 years 9 months ago
Possibilistic Information Flow Control in MAKS and Action Refinement
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
Dieter Hutter
133
Voted
BCSHCI
2007
15 years 7 months ago
Information architecture with IBM Task Modeler
The IBM Task Modeler supports the rapid creation and analysis of hierarchical task models, thereby providing a valuable and naturally visual tool for information architects. Task ...
Colin Bird, Mark Farmer
LREC
2008
107views Education» more  LREC 2008»
15 years 7 months ago
Integrating Metaphor Information into RDF/OWL EuroWordNet
In this paper, we discuss the integration of metaphor information into the RDF/OWL representation of EuroWordNet. First, the lexical database WordNet and its variants are presente...
Ernesto William De Luca, Birte Lönneker-Rodma...
PEWASUN
2008
ACM
15 years 7 months ago
The impact of delayed topology information in proactive routing protocols for MANETS
In the design of many proactive routing protocols for MANETs, it is often assumed that topology information is disseminated instantly and error free. Exceptions include hazysighte...
Andres Medina, Stephan Bohacek
121
Voted
NIPS
2004
15 years 7 months ago
An Information Maximization Model of Eye Movements
We propose a sequential information maximization model as a general strategy for programming eye movements. The model reconstructs high-resolution visual information from a sequen...
Laura Walker Renninger, James M. Coughlan, Preeti ...