3595 search results - page 270 / 719 » Roles of Program Extension |
165
click to vote
KBSE
2000
IEEE
15 years 10 months ago
2000
IEEE
Testing has a vital support role in the software engineering process, but developing tests often takes significant resources. A formal specification is a repository of knowledge a...
202
click to vote
CADE
2008
Springer
15 years 8 months ago
2008
Springer
LogAnswer is an open domain question answering system which employs an automated theorem prover to infer correct replies to natural language questions. For this purpose LogAnswer o...
138
click to vote
ACL
2007
15 years 8 months ago
2007
This paper presents an approach for the automatic acquisition of qualia structures for nouns from the Web and thus opens the possibility to explore the impact of qualia structures...
182
click to vote
FOIS
2008
15 years 8 months ago
2008
: An ontology of general science knowledge (SKIo) is developed to enhance machine representation and use of scientific theories in emerging e-Science Knowledge Infrastructures. SKI...
158
click to vote
ECIS
2004
15 years 8 months ago
2004
The use of new information technology impacts individual work as well as the whole organization. This paper illuminates some preliminary findings from an ongoing study about impac...