8874 search results - page 94 / 1775 » A New Implementation of Automath |
108
Voted
EVOW
1999
Springer
15 years 7 months ago
1999
Springer
This paper describes a new approximate approach for checking the correctness of the implementation of a protocol interface, comparing its lowlevel implementation with its high-leve...
129
Voted
VLDB
1998
ACM
15 years 7 months ago
1998
ACM
Numerous applications such as stock market or medical information systems require that both historical and current data be logically integrated into a temporal database. The under...
101
Voted
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
Mobile video processing as defined in standards like MPEG-4 and H.263 contains a number of timeconsuming computations that cannot be efficiently executed on current hardware archi...
130
click to vote
WSC
2007
15 years 6 months ago
2007
This paper describes an effort of testing the Core Manufacturing Simulation Data (CMSD) information model as a neutral data interface for a discrete event simulation model develop...
124
Voted
ASC
2006
15 years 5 months ago
2006
In [7] Maria I. Sessa extended the SLD resolution principle with the ability of performing approximate reasoning and flexible query answering. The operational mechanism of similar...