36781 search results - page 152 / 7357 » Parameterizing by the Number of Numbers |
SYNASC
2006
IEEE
14 years 4 months ago
2006
IEEE
In this paper, we report a case study of computer supported exploration of the theory of natural numbers, using a theory exploration model based on knowledge schemes, proposed by ...
AVSS
2005
IEEE
14 years 4 months ago
2005
IEEE
This paper presents a software-based parameter-free method for the demultiplexing of a video stream [7] that is missing camera labeling information. The method is based on the obs...
RTCSA
2005
IEEE
14 years 4 months ago
2005
IEEE
In some real-time application systems, there are only a few distinct kinds of tasks, each of which may be instantiated several times during runtime. The scheduling of such sporadi...
SOFSEM
2005
Springer
14 years 4 months ago
2005
Springer
An outerplanar (also called circular, convex, one-page) drawing of an n-vertex graph G is a drawing in which the vertices are placed on a circle and each edge is drawn using one s...
DELTA
2002
IEEE
14 years 3 months ago
2002
IEEE
A flexible software based platform for number plate recognitions applications is described. It breaks the processing into several explicit modules, with the implementation for eac...