5510 search results - page 152 / 1102 » Mathematics |
145
click to vote
INFORMATICALT
2010
15 years 1 months ago
2010
The Turing machine is one of the simple abstract computational devices that can be used to investigate the limits of computability. In this paper, they are considered from several ...
158
click to vote
GIAE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper introduces the mathematical framework of conformal geometric algebra (CGA) as a language for computer graphics and computer vision. Specifically it discusses ...
117
Voted
BIRTHDAY
2003
Springer
15 years 9 months ago
2003
Springer
We provide a translation from CTL to Datalog¬ Succ. The translation has the following advantages: a) It is natural. b) It provides intuition to the expressive power of CTL and it...
124
Voted
ICPR
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper deals with the roles of assumption, mathematical models, and experimental control in Pattern Recognition. In order to base the discussion on actual examples, three stud...
119
Voted
COMPOS
1997
Springer
15 years 8 months ago
1997
Springer
We introduce a mathematical model of components that can be used for the description of both hardware and software units forming distributed interactive systems. As part of a distr...