7694 search results - page 1122 / 1539 » An Implementation of an Applicative File System |
191
click to vote
WSCG
2000
15 years 8 months ago
2000
Fast Oriented Line Integral Convolution (FROLIC), which is a variant of LIC, illustrates 2D vector fields by approximating a streamlet by a set of disks with varying intensity. FR...
159
click to vote
IJCAI
1989
15 years 8 months ago
1989
Learning how to make decisions in a domain is a critical aspect of intelligent planning behavior. The ability of a planner to adapt its decision-making to a domain depends in part...
189
click to vote
AI
2010
Springer
15 years 7 months ago
2010
Springer
The past decade has seen clause learning as the most successful algorithm for SAT instances arising from real-world applications. This practical success is accompanied by theoreti...
149
click to vote
AO
2008
15 years 7 months ago
2008
Abstract. The rapid increase in the number and use of biological ontologies necessitates developing systems for their integration. In this paper we present a core ontology for biol...
167
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
We present a non-null annotations inferencer for the Java bytecode language. We previously proposed an analysis to infer non-null annotations and proved it soundness and completen...