10916 search results - page 253 / 2184 » On Constructive Connectives and Systems |
141
click to vote
SEW
2006
IEEE
16 years 22 days ago
2006
IEEE
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...
186
click to vote
ICRA
2005
IEEE
16 years 9 days ago
2005
IEEE
- We are developing a process to quickly prototype millirobotic systems in which the approach is to identify and develop a construction kit for fabricating almost any design, simil...
149
click to vote
ER
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Deploying process-driven information systems is a time-consuming and error-prone task. Process mining attempts to improve this by automatically generating a process model...
172
click to vote
ICDAR
2003
IEEE
16 years 10 hour ago
2003
IEEE
In this paper we present a system to locate, extract and recognize Telugu text. The circular nature of Telugu script is exploited for segmenting text regions using the Hough Trans...
180
click to vote
SI3D
2003
ACM
15 years 12 months ago
2003
ACM
Many virtual environments and games must be populated with synthetic characters to create the desired experience. These characters must move with sufficient realism, so as not to...