Sciweavers

2819 search results - page 301 / 564
» Associative Omega-product of Processes
Sort
View
3DIM
2001
IEEE
15 years 10 months ago
Combining Off- and On-Line Calibration of a Digital Camera
We introduce a novel outlook on the self-calibration task, by considering images taken by a camera in motion, allowing for zooming and focusing. Apart from the complex relationshi...
Magdalena Urbanek, Radu Horaud, Peter F. Sturm
CBMS
2001
IEEE
15 years 10 months ago
IBMAS: An Internet Based Medical Archive System
This paper presents an Internet-Based Medical Archive System, thus called IBMAS. IBMAS is a prototype system of a proposed paradigm of research aiming at building up a distributed...
Zhongfei (Mark) Zhang, Guangbiao Pu, Andrzej Kr&oa...
SPIN
2000
Springer
15 years 10 months ago
Model Checking Based on Simultaneous Reachability Analysis
Abstract. Simultaneous reachability analysis SRA is a recently proposed approach to alleviating the state space explosion problem in reachability analysis of concurrent systems. Th...
Bengi Karaçali, Kuo-Chung Tai
HLPPP
1991
15 years 10 months ago
Reasoning About Synchronic Groups
Swarm is a computational model which extends the UNITY model in three important ways: (1) UNITY’s fixed set of variables is replaced by an unbounded set of tuples which are add...
Gruia-Catalin Roman, H. Conrad Cunningham
IPAS
2010
15 years 9 months ago
A memory-efficient and time-consistent filtering of depth map sequences
View plus depth` is a 3D video representation where a single color video channel is augmented with per-pixel depth information in the form of gray-scale video sequence. This repre...
Sergey Smirnov, Atanas P. Gotchev, Karen O. Egiaza...