5170 search results - page 391 / 1034 » A Document-Oriented Approach to the Development of Knowledge... |
178
click to vote
TASE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Formal verification of low-level programs often requires explicit reasoning and specification of runtime stacks. Treating stacks naively as parts of ordinary heaps can lead to...
145
Voted
UIST
1996
ACM
15 years 11 months ago
1996
ACM
This paper presents XXL, a new interactive development system for building user interfaces which is based on the concept of textual and visual equivalence. XXL includes an interac...
199
click to vote
APBC
2003
15 years 8 months ago
2003
The development of high-throughput genome sequencing and protein structure determination techniques have provided researchers with a wealth of biological data. Integrated analysis...
139
click to vote
COLING
2010
15 years 1 months ago
2010
While extensive studies on relation extraction have been conducted in the last decade, statistical systems based on supervised learning are still limited because they require larg...
162
click to vote
IWPC
2007
IEEE
16 years 1 months ago
2007
IEEE
A repository of task structures can reveal important latent knowledge about the development of a software system. Although approaches have been proposed to recover artifacts withi...