7430 search results - page 1224 / 1486 » Programming Applications in CIFF |
219
click to vote
ICSE
2007
IEEE-ACM
16 years 6 days ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...
182
click to vote
MUC
1992
15 years 10 months ago
1992
The GE NLTooLsET is a set of text interpretation tools designed to be easily adapted to new domains. This report summarizes the system and its performance on the MUG-4 task . INTR...
165
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
This paper describes two algorithms capable of real-time segmentation of foreground from background layers in stereo video sequences. Automatic separation of layers from colour/co...
214
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
Modern integrated circuits (ICs) are becoming increasingly complex. The complexity makes it difficult to design, manufacture and integrate these high-performance ICs. The advent o...
175
click to vote
SIGSOFT
2008
ACM
16 years 6 months ago
2008
ACM
In this paper, we present results from our empirical evaluations of a workspace awareness tool that we designed and implemented to augment the functionality of software configurat...