Sciweavers

593 search results - page 56 / 119
» Semantics-Preserving Procedure Extraction
Sort
View
ATVA
2006
Springer
99views Hardware» more  ATVA 2006»
15 years 7 months ago
Whodunit? Causal Analysis for Counterexamples
Although the counterexample returned by a model checker can help in reproducing the symptom related to a defect, a significant amount of effort is often required for the programmer...
Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gup...
ACL
2004
15 years 4 months ago
The Sentimental Factor: Improving Review Classification Via Human-Provided Information
Sentiment classification is the task of labeling a review document according to the polarity of its prevailing opinion (favorable or unfavorable). In approaching this problem, a m...
Philip Beineke, Trevor Hastie, Shivakumar Vaithyan...
133
Voted
EHCI
2004
15 years 4 months ago
Finding Iteration Patterns in Dynamic Web Page Authoring
Most of the current WWW is made up of dynamic pages. The development of dynamic pages is a difficult and costly endeavour, out-of-reach for most users, experts, and content produce...
José A. Macías, Pablo Castells
CASCON
1997
93views Education» more  CASCON 1997»
15 years 4 months ago
Repairing software style using graph grammars
Often, software architects impose a particular style on the software systems they design. For large software systems, they would like to ensure that the design continues to confor...
Hoda Fahmy, Richard C. Holt, Spiros Mancoridis
130
Voted
JIB
2007
75views more  JIB 2007»
15 years 3 months ago
Mapping protein information to disease terminologies
In order to improve the accessibility of genomic and proteomic information to medical researchers, we have developed a procedure to link biological information on proteins involve...
Anaïs Mottaz, Yum Lina Yip, Patrick Ruch, Ann...