Sciweavers

306 search results - page 32 / 62
» Underspecified computation of normal forms
Sort
View
ICPR
2008
IEEE
14 years 2 months ago
The projective equation of a circle and its application in camera calibration
In this article, we present the projective equation of a circle in a perspective view, which naturally encodes such important geometric entities as the projected circle center, th...
Yinqiang Zheng, Yuncai Liu
RTA
2005
Springer
14 years 1 months ago
Proving Positive Almost-Sure Termination
Abstract In order to extend the modeling capabilities of rewriting systems, it is rather natural to consider that the firing of rules can be subject to some probabilistic laws. Co...
Olivier Bournez, Florent Garnier
HICSS
1999
IEEE
81views Biometrics» more  HICSS 1999»
13 years 12 months ago
The Functionality Attribute of Cybergenres
Under the influence of a new medium, a genre may evolve into variants of the original genre or even into new genre. Genre, even through such evolution, are normally characterized ...
Michael A. Shepherd, Carolyn R. Watters
LCN
1996
IEEE
13 years 11 months ago
A Class-Chest for Deriving Transport Protocols
Development of new transport protocols or protocol algorithms suffers from the complexity of the envir onment in which they ar e intended to run. Modeling techniques attempt to av...
W. Timothy Strayer
EWHCI
1993
13 years 11 months ago
Model of Utterance and Its Use in Cooperative Response Generation
: A cooperative response model is proposed for interactive intelligent systems that recognizes user intentions and makes cooperative responses. Though many models developed so far ...
Koichi Yamada, Riichiro Mizoguchi, Naoki Harada, A...