10715 search results - page 1808 / 2143 » From Tests to Proofs |
199
click to vote
JPDC
2000
15 years 6 months ago
2000
The virtual synchrony model for group communication has proven to be a powerful paradigm for building distributed applications. Implementations of virtual synchrony usually requir...
176
click to vote
PR
2000
15 years 6 months ago
2000
An expert system for analysis and recognition of general symbols is introduced. The system uses the structural pattern recognition technique for modeling symbols by a set of strai...
187
click to vote
GEOINFORMATICA
2002
15 years 6 months ago
2002
The generation of better label placement configurations in maps is a problem that comes up in automated cartographic production. The objective of a good label placement is to displ...
198
Voted
RAS
2000
15 years 6 months ago
2000
Most of the current work on automated facial expression analysis attempt to recognize a small set of prototypic expressions, such as joy and fear. Such prototypic expressions, how...
168
click to vote
IJCSA
2007
15 years 6 months ago
2007
The main aim of this paper is to establish a reliable model both for the steady-state and unsteady-state regimes of a nonlinear process. The use of this model should reflect the t...