Sciweavers

113 search results - page 22 / 23
» Arc Consistency during Search
Sort
View
ICFP
2010
ACM
13 years 6 months ago
Security-typed programming within dependently typed programming
Several recent security-typed programming languages, such as Aura, PCML5, and Fine, allow programmers to express and enforce access control and information flow policies. Most of ...
Jamie Morgenstern, Daniel R. Licata
CGF
2008
182views more  CGF 2008»
13 years 5 months ago
Lazy Solid Texture Synthesis
Existing solid texture synthesis algorithms generate a full volume of color content from a set of 2D example images. We introduce a new algorithm with the unique ability to restri...
Yue Dong, Sylvain Lefebvre, Xin Tong, George Drett...
EOR
2007
198views more  EOR 2007»
13 years 5 months ago
Airline crew scheduling from planning to operations
Crew scheduling problems at the planning level are typically solved in two steps: first, creating working patterns, and then assigning these to individual crew. The first step is ...
Claude P. Medard, Nidhi Sawhney
BMCBI
2005
110views more  BMCBI 2005»
13 years 5 months ago
ProGenExpress: Visualization of quantitative data on prokaryotic genomes
Background: The integration of genomic information with quantitative experimental data is a key component of systems biology. An increasing number of microbial genomes are being s...
Michael Watson
AI
1998
Springer
13 years 4 months ago
Utility-Based On-Line Exploration for Repeated Navigation in an Embedded Graph
In this paper, we address the tradeo between exploration and exploitation for agents which need to learn more about the structure of their environment in order to perform more e e...
Shlomo Argamon-Engelson, Sarit Kraus, Sigalit Sina