1205 search results - page 154 / 241 » Program Extraction from Large Proof Developments |
113
click to vote
WCRE
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract—During software development, design rules and contracts in the source code are often encoded through regularities, such as API usage protocols, coding idioms and naming ...
120
click to vote
RAID
1999
Springer
15 years 5 months ago
1999
Springer
We have been developing a data mining (i.e., knowledge discovery) framework, MADAM ID, for Mining Audit Data for Automated Models for Intrusion Detection [LSM98, LSM99b, LSM99a]. ...
122
click to vote
JEI
1998
15 years 1 months ago
1998
In this paper we introduce wavelet video processing of proximity sensor signals. Proximity sensing is required for a wide range of military and commercial applications, including w...
144
Voted
DASFAA
2007
IEEE
15 years 1 months ago
2007
IEEE
Radio frequency identification (RFID) technology is believed to be the next revolutionary step in supply-chain management. Complex process simplification using RFID technology can ...
107
click to vote
ESWS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Spatio-temporal data management has progressed significantly towards efficient storage and indexing of mobility data. Typically such mobility data analytics is assumed t...