15253 search results - page 2947 / 3051 » Integer-Programming Software Systems |
126
Voted
TACAS
2000
Springer
15 years 6 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
171
click to vote
ICIP
1997
IEEE
15 years 6 months ago
1997
IEEE
A novel algorithm is described for coding objects in video compression systems which gives complete control over the bit allocation to the video objects. The method is evaluated b...
138
click to vote
SC
1995
ACM
15 years 6 months ago
1995
ACM
The goal of this work is to explore architectural mechanisms for supporting explicit communication in cachecoherent shared memory multiprocessors. The motivation stems from the ob...
117
Voted
DAS
2010
Springer
15 years 5 months ago
2010
Springer
We describe a component of a document analysis system for constructing ontologies for domain-specific web tables imported into Excel. This component automates extraction of the Wa...
131
click to vote
DEBS
2010
ACM
15 years 5 months ago
2010
ACM
Operator-based programming languages provide an effective development model for large scale stream processing applications. A stream processing application consists of many runtim...