1046 search results - page 191 / 210 » Generating User Interface Code in a Model Based User Interfa... |
SI3D
1999
ACM
13 years 12 months ago
1999
ACM
Conventional free-form surface design usually require tedious control-point manipulation and/or painstaking constraint specification via unnatural mouse-based interfaces. This pa...
TAP
2010
Springer
13 years 5 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
BMCBI
2010
13 years 7 months ago
2010
Background: Sequencing metagenomes that were pre-amplified with primer-based methods requires the removal of the additional tag sequences from the datasets. The sequenced reads ca...
ACMDIS
2006
ACM
14 years 1 months ago
2006
ACM
One challenge for ubiquitous computing is providing appropriate tools for professional designers, thus leading to stronger user-valued applications. Unlike many previous tool-buil...
EFDBS
2000
13 years 9 months ago
2000
Today, bibliographical information is kept in a variety of data sources world wide, some of them publically available, and some of them also offering information about citations m...