1988 search results - page 252 / 398 » Engineering formal metatheory |
152
click to vote
ICDAR
2007
IEEE
16 years 25 days ago
2007
IEEE
Post-processors are critical to the performance of language recognizers like OCRs, speech recognizers, etc. Dictionary-based post-processing commonly employ either an algorithmic ...
149
click to vote
ICRA
2007
IEEE
16 years 25 days ago
2007
IEEE
— This paper presents a multi-vehicle platform and framework for robotics education and research. The system is designed as an educational tool for introducing children to engine...
149
click to vote
IEEESCC
2007
IEEE
16 years 25 days ago
2007
IEEE
Many real-life organizations are hierarchies of largely autonomous, heterogeneous members (individuals or other organizations), often exhibiting rich policies. We restrict our att...
167
click to vote
QEST
2007
IEEE
16 years 24 days ago
2007
IEEE
Failure Mode and Effect Analysis (FMEA) is a method for assessing cause-consequence relations between component faults and hazards that may occur during the lifetime of a system. ...
206
click to vote
QEST
2007
IEEE
16 years 24 days ago
2007
IEEE
Generalized Stochastic Petri Nets (GSPNs) are a widely used high-level formalism used for modelling discrete-event systems. The Platform Independent Petri net Editor (PIPE) is an ...