Sciweavers

5630 search results - page 299 / 1126
» Computability in Specification
Sort
View
CHI
2007
ACM
16 years 7 months ago
Supporting design studio culture in HCI
Extended Abstract: Supporting Design Studio Culture in HCI The workshop considers the needs and possibilities for integrating design studio culture within the research, education,...
Eli Blevis, Youn-Kyung Lim, Erik Stolterman, Trace...
NAACL
2010
15 years 4 months ago
Automatic Domain Adaptation for Parsing
Current statistical parsers tend to perform well only on their training domain and nearby genres. While strong performance on a few related domains is sufficient for many situatio...
David McClosky, Eugene Charniak, Mark Johnson
147
Voted
RECOMB
2006
Springer
16 years 7 months ago
Leveraging Information Across HLA Alleles/Supertypes Improves Epitope Prediction
We present a model for predicting HLA class I restricted CTL epitopes. In contrast to almost all other work in this area, we train a single model on epitopes from all HLA alleles a...
David Heckerman, Carl Myers Kadie, Jennifer Listga...
ICDCSW
2006
IEEE
16 years 25 days ago
Fault-Tolerance Verification of the Fluids and Combustion Facility of the International Space Station
The Fluids and Combustion Facility (FCF) will be a permanent modular, multi-user facility used to accommodate microgravity science experiments in the U.S. Laboratory Module onboar...
Raquel S. Whittlesey-Harris, Mikhail Nesterenko
ICFEM
1998
Springer
15 years 11 months ago
Defining Differentiation and Integration in Z
We show how familiar mathematical concepts from differential and integral calculus can be represented in the Z specification language. Digital computer systems involve hardware de...
Colin J. Fidge, Ian J. Hayes, Brendan P. Mahony