Sciweavers

6607 search results - page 244 / 1322
» Making TeX Work
Sort
View
120
Voted
ESORICS
2010
Springer
15 years 5 months ago
A Theory of Runtime Enforcement, with Results
This paper presents a theory of runtime enforcement based on mechanism models called MRAs (Mandatory Results Automata). MRAs can monitor and transform security-relevant actions and...
Jay Ligatti, Srikar Reddy
182
Voted
GISCIENCE
2010
Springer
190views GIS» more  GISCIENCE 2010»
15 years 5 months ago
Semantic Referencing - Determining Context Weights for Similarity Measurement
Semantic similarity measurement is a key methodology in various domains ranging from cognitive science to geographic information retrieval on the Web. Meaningful notions of similar...
Krzysztof Janowicz, Benjamin Adams, Martin Raubal
GECCO
2008
Springer
178views Optimization» more  GECCO 2008»
15 years 5 months ago
Agent Smith: a real-time game-playing agent for interactive dynamic games
The goal of this project is to develop an agent capable of learning and behaving autonomously and making decisions quickly in a dynamic environment. The agent’s environment is a...
Ryan K. Small
BIODATAMINING
2008
85views more  BIODATAMINING 2008»
15 years 4 months ago
A review of estimation of distribution algorithms in bioinformatics
Evolutionary search algorithms have become an essential asset in the algorithmic toolbox for solving high-dimensional optimization problems in across a broad range of bioinformati...
Rubén Armañanzas, Iñaki Inza,...
CAGD
2008
98views more  CAGD 2008»
15 years 4 months ago
Exact evaluation of limits and tangents for non-polynomial subdivision schemes
In this paper, we describe a method for exact evaluation of a limit mesh defined via subdivision and its associated tangent vectors on a uniform grid of any size. Other exact eval...
S. Schaefer, J. Warren