1205 search results - page 148 / 241 » Program Extraction from Large Proof Developments |
LREC
2010
15 years 2 months ago
2010
In this paper, we outline the methodology we adopted to develop a FrameNet for Italian. The main element of novelty with respect to the original FrameNet is represented by the fac...
123
click to vote
TITB
2008
15 years 28 days ago
2008
Abstract--It has been shown that the accuracy of mammographic abnormality detection methods is strongly dependent on the breast tissue characteristics, where a dense breast drastic...
130
click to vote
WWW
2004
ACM
16 years 2 months ago
2004
ACM
Security remains a major roadblock to universal acceptance of the Web for many kinds of transactions, especially since the recent sharp increase in remotely exploitable vulnerabil...
IUI
2010
ACM
15 years 10 months ago
2010
ACM
The development of mobile applications has now extended from mobile network providers into the hands of ordinary people as organizations and companies encourage people to come up ...
111
click to vote
ASE
2004
15 years 1 months ago
2004
er is concerned with an abstract exploration of code mobility constructs designed for use in settings where the level of granularity associated with the mobile units exhibits sign...