Sciweavers

1752 search results - page 181 / 351
» Application Specific Processing: A Tools Approach
Sort
View
RE
2001
Springer
15 years 8 months ago
Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
Margaret H. Smith, Gerard J. Holzmann, Kousha Etes...
LREC
2010
225views Education» more  LREC 2010»
15 years 5 months ago
C-3: Coherence and Coreference Corpus
The phenomenon of coreference, covering entities, their mentions and their properties, is intricately linked to the phenomenon of coherence, covering the structure of rhetorical r...
Cristina Nicolae, Gabriel Nicolae, Kirk Roberts
BMCBI
2007
154views more  BMCBI 2007»
15 years 3 months ago
h-Profile plots for the discovery and exploration of patterns in gene expression data with an application to time course data
Background: An ever increasing number of techniques are being used to find genes with similar profiles from microarray studies. Visualization of gene expression profiles can aid t...
Yvonne E. Pittelkow, Susan R. Wilson
ISBI
2011
IEEE
14 years 7 months ago
Network cycle features: Application to computer-aided Gleason grading of prostate cancer histopathological images
Features extracted from cell networks have become popular tools in histological image analysis. However, existing features do not take sufficient advantage of the cycle structure...
Parmeshwar Khurd, Leo Grady, Ali Kamen, Summer Gib...
CHI
1993
ACM
15 years 8 months ago
Exploring the applications of user-expertise assessment for intelligent interfaces
An adaptive user interface relies, to a large extent, upon an adequate user model (e.g., a representationof user-expertise). However, building a user model may be a tedious and ti...
Michel Desmarais, Jiming Liu