1205 search results - page 66 / 241 » Program Extraction from Large Proof Developments |
121
click to vote
ICML
2010
IEEE
15 years 2 months ago
2010
IEEE
Surprisingly, console logs rarely help operators detect problems in large-scale datacenter services, for they often consist of the voluminous intermixing of messages from many sof...
154
click to vote
ICDM
2009
IEEE
14 years 11 months ago
2009
IEEE
The amount of text data on the Internet is growing at a very fast rate. Online text repositories for news agencies, digital libraries and other organizations currently store gigaan...
133
click to vote
FMCO
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...
138
click to vote
ECCV
2010
Springer
15 years 7 months ago
2010
Springer
Spoofing with photograph or video is one of the most common manner to circumvent a face recognition system. In this paper, we present a real-time and non-intrusive method to addre...
118
click to vote
HT
1998
ACM
15 years 6 months ago
1998
ACM
The World Wide Web grows through a decentralized, almost anarchic process, and this has resulted in a large hyperlinked corpus without the kind of logical organization that can be...