517 search results - page 58 / 104 » Translation in XBRL standardization |
SDL
2003
13 years 9 months ago
2003
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...
WSC
2000
13 years 9 months ago
2000
Researchers at the National Institute of Standards and Technology have proposed the development of neutral libraries of simulation components. The availability of such libraries w...
AAAI
1994
13 years 9 months ago
1994
In this paper we consider updates that are specified as rules and consider simple knowledge bases consisting of ground atoms. We present a translation of the rule based update spe...
COMAD
2009
13 years 8 months ago
2009
Most defect-tracking systems provide canned reports and the ability to create custom reports. These reports provide a snapshot of the defects in the system and allow different typ...
ICCVG
2010
13 years 8 months ago
2010
Abstract. This paper explores techniques in the pipeline of image description based on visual codebooks suitable for video on-line processing. The pipeline components are (i) extra...