Sciweavers

6040 search results - page 1013 / 1208
» Generating Instance Models from Meta Models
Sort
View
RECOMB
2010
Springer
15 years 6 months ago
MoGUL: Detecting Common Insertions and Deletions in a Population
Abstract. While the discovery of structural variants in the human population is ongoing, most methods for this task assume that the genome is sequenced to high coverage (e.g. 40x),...
Seunghak Lee, Eric Xing, Michael Brudno
CP
2006
Springer
15 years 6 months ago
Towards an Efficient SAT Encoding for Temporal Reasoning
Abstract. In this paper, we investigate how an IA network can be effectively encoded into the SAT domain. We propose two basic approaches to modelling an IA network as a CSP: one r...
Duc Nghia Pham, John Thornton, Abdul Sattar
SI3D
1995
ACM
15 years 6 months ago
Visual Navigation of Large Environments Using Textured Clusters
A visual navigation system is described which uses texture mapped primitives to represent clusters of objects to maintain high and approximately constant frame rates. In cases whe...
Paulo W. C. Maciel, Peter Shirley
ERLANG
2008
ACM
15 years 4 months ago
Early fault detection with model-based testing
Current and future trends for software include increasingly complex requirements on interaction between systems. As a result, the difficulty of system testing increases. Model-bas...
Jonas Boberg
DGO
2003
175views Education» more  DGO 2003»
15 years 3 months ago
Coastal Mapping and Change Detection Using High--Resolution IKONOS Satellite Imagery
Shoreline mapping and shoreline change detection are critical in many coastal zone applications. This paper presents results of the semi-automatic mapping of a coastal area of Lak...
Kaichang Di, Ruijin Ma, Jue Wang, Ron Li
« Prev « First page 1013 / 1208 Last » Next »