1054 search results - page 56 / 211 » Models for automatic generation of safety-critical real-time... |
JCIT
2007
14 years 11 months ago
2007
Rough Petri nets model (RPNM) for knowledge representation, rule generation, and reasoning is presented in this paper. An algorithm for verifying the consistency of a rough knowle...
EUROMICRO
2004
IEEE
15 years 3 months ago
2004
IEEE
The new generation of television viewers is currently being confronted and becoming acquainted with a series of technological developments in the realm of consumer electronics and...
VLDB
2004
ACM
15 years 5 months ago
2004
ACM
We demonstrate a system to automatically grab data from data intensive web sites. The system first infers a model that describes at the intensional level the web site as a collec...
114
click to vote
CVPR
2001
IEEE
16 years 1 months ago
2001
IEEE
We present a system for modeling buildings from a single correlation-based Digital Elevation Model (DEM). The model is constructed in two stages. The first stage segments the DEM ...
147
click to vote
CPE
1994
Springer
15 years 3 months ago
1994
Springer
When implementingparallel programs forparallel computer systems the performancescalability of these programs should be tested and analyzed on different computer configurations and...