Sciweavers

5630 search results - page 872 / 1126
» Computability in Specification
Sort
View
JUCS
2008
134views more  JUCS 2008»
15 years 6 months ago
A Tool for Reasoning about Qualitative Temporal Information: the Theory of S-languages with a Lisp Implementation
: Reasoning about incomplete qualitative temporal information is an essential topic in many artificial intelligence and natural language processing applications. In the domain of n...
Irène Durand, Sylviane R. Schwer
JEI
2006
82views more  JEI 2006»
15 years 6 months ago
Real-time mosaic using sequential graph
To prevent large error accumulation in multiple image registration considering real-time applications, we propose a new fast global mosaic method using sequential block matching in...
Dae Woong Kim, Ki-Sang Hong
JGTOOLS
2006
107views more  JGTOOLS 2006»
15 years 6 months ago
Efficient Shadows for Sampled Environment Maps
This paper addresses the problem of efficiently calculating shadows from environment maps in the context of ray-tracing. Since accurate rendering of shadows from environment maps ...
Aner Ben-Artzi, Ravi Ramamoorthi, Maneesh Agrawala
ENGL
2007
168views more  ENGL 2007»
15 years 6 months ago
A Novel Star Field Approach for Shape Indexing in CBIR Systems
—This paper presents a novel hybrid method for content based visual information retrieval (CBIR) that combines shape analysis of objects in image with their automatic indexing by...
Oleg Starostenko, Alberto Chávez-Arag&oacut...
JPDC
2006
106views more  JPDC 2006»
15 years 6 months ago
Adaptive algorithms for the dynamic distribution and parallel execution of agent-based models
We propose a framework for defining agent-based models (ABMs) and two algorithms for the automatic parallelization of agent-based models, a general version P-ABMG for all ABMs def...
Matthias Scheutz, Paul W. Schermerhorn