1205 search results - page 182 / 241 » Program Extraction from Large Proof Developments |
160
click to vote
TEI
2012
ACM
13 years 9 months ago
2012
ACM
Most current mobile technologies require on-screen operations for interacting with devices’ visual contents. However, as a trade-off for mobility, screens usually provide limite...
104
click to vote
AGILEDC
2005
IEEE
15 years 7 months ago
2005
IEEE
Most significant software processes involve a wide range of disciplines, from programming to testing, and from documentation to database development. Unfortunately, agile processe...
112
click to vote
COLING
2002
15 years 1 months ago
2002
The LinGO Redwoods initiative is a seed activity in the design and development of a new type of treebank. While several medium- to large-scale treebanks exist for English (and for...
104
click to vote
ICDM
2005
IEEE
15 years 7 months ago
2005
IEEE
Given a large collection of medical images of several conditions and treatments, how can we succinctly describe the characteristics of each setting? For example, given a large col...
118
click to vote
ICS
2005
Tsinghua U.
15 years 6 months ago
2005
Tsinghua U.
Excessive power consumption is becoming a major barrier to extracting the maximum performance from high-performance parallel systems. Therefore, techniques oriented towards reduci...