Sciweavers

2800 search results - page 177 / 560
» Fibrational Control Structures
Sort
View
ICIAP
2007
ACM
15 years 11 months ago
An Uncalibrated View-Synthesis Pipeline
This paper deals with the process of view synthesis based on the relative affine structure. It describes a complete pipeline that, starting with uncalibrated images, produces a v...
Andrea Fusiello, Luca Irsara
MDAFA
2004
Springer
111views Hardware» more  MDAFA 2004»
15 years 10 months ago
Model Transformation Language MOLA
The paper describes a new graphical model transformation language MOLA. The basic idea of MOLA is to merge traditional structured programming as a control structure with pattern-ba...
Audris Kalnins, Janis Barzdins, Edgars Celms
MFCS
1998
Springer
15 years 9 months ago
Flow Logic for Imperative Objects
We develop a control flow analysis for the Imperative Object Calculus. We prove the correctness with respect to two Structural Operational Semantics that differ in minor technical ...
Flemming Nielson, Hanne Riis Nielson
IJON
2006
97views more  IJON 2006»
15 years 4 months ago
Bifurcations in Morris-Lecar neuron model
We investigate bifurcations observed in a Morris-Lecar neuron model. Especially, we paid attention to the change of bifurcation structures between type I and type II models. We fo...
Kunichika Tsumoto, Hiroyuki Kitajima, Tetsuya Yosh...
WAIM
2007
Springer
15 years 11 months ago
CoXML: A Cooperative XML Query Answering System
Abstract. The heterogeneity nature of XML data creates the need for approximate query answering. In this paper, we present an XML system that cooperates with users to provide user-...
Shaorong Liu, Wesley W. Chu