Sciweavers

1205 search results - page 182 / 241
» Program Extraction from Large Proof Developments
Sort
View
TEI
2012
ACM
331views Hardware» more  TEI 2012»
13 years 9 months ago
Body-centric interaction with mobile devices
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...
Xiang 'Anthony' Chen
AGILEDC
2005
IEEE
15 years 7 months ago
Experiences Integrating Sophisticated User Experience Design Practices into Agile Processes
Most significant software processes involve a wide range of disciplines, from programming to testing, and from documentation to database development. Unfortunately, agile processe...
Paul Hodgetts
COLING
2002
15 years 1 months ago
The LinGO Redwoods Treebank: Motivation and Preliminary Applications
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...
Stephan Oepen, Kristina Toutanova, Stuart M. Shieb...
ICDM
2005
IEEE
122views Data Mining» more  ICDM 2005»
15 years 7 months ago
ViVo: Visual Vocabulary Construction for Mining Biomedical Images
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...
Arnab Bhattacharya, Vebjorn Ljosa, Jia-Yu Pan, Mar...
ICS
2005
Tsinghua U.
15 years 6 months ago
Disk layout optimization for reducing energy consumption
Excessive power consumption is becoming a major barrier to extracting the maximum performance from high-performance parallel systems. Therefore, techniques oriented towards reduci...
Seung Woo Son, Guangyu Chen, Mahmut T. Kandemir