6348 search results - page 223 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
148
click to vote
FOSSACS
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...
135
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Many high-throughput genomic experiments, such as Synthetic Genetic Array and yeast two-hybrid, use colony growth on solid media as a screen metric. These experiments ...
143
click to vote
ICSEA
2009
IEEE
15 years 1 months ago
2009
IEEE
Due to the large number of possible variants in typical Software Product Lines (SPLs), the modeling of, explicit knowledge of, and predictability of the quality tradeoffs inherent ...
128
click to vote
FLAIRS
2007
15 years 6 months ago
2007
Web search engines like Google have made us all smarter by providing ready access to the world's knowledge whenever we need to look up a fact, learn about a topic or evaluate...
135
click to vote
ANLP
2000
15 years 5 months ago
2000
This paper explores the usefulness of a technique from software engineering, namely code instrumentation, for the development of large-scale natural language grammars. Information...