3207 search results - page 430 / 642 » A Semantics for HTN Methods |
199
click to vote
EKAW
2004
Springer
16 years 15 days ago
2004
Springer
Capturing and exploiting knowledge is at the heart of several important problems such as decision making, the semantic web, and intelligent agents. The captured knowledge must be a...
173
Voted
WWW
2010
ACM
16 years 12 days ago
2010
ACM
This paper addresses the problem of identifying redundant data in large-scale service-oriented information systems. Specifically, the paper puts forward an automated method to pi...
185
click to vote
ITCC
2003
IEEE
16 years 11 days ago
2003
IEEE
As web information systems tend to mature it has become increasingly important to have an engineered design of such systems. Hera is a design methodology that supports the develop...
189
click to vote
CONCUR
2003
Springer
16 years 10 days ago
2003
Springer
Patterns of Compositional Reasoning Nina Amla1 , E. Allen Emerson2 , Kedar Namjoshi3 , and Richard Trefler4 1 Cadence Design Systems 2 Univ. of Texas at Austin 3 Bell Labs, Lucent...
168
click to vote
IWPC
2002
IEEE
16 years 20 hour ago
2002
IEEE
While code understanding is the primary program comprehension activity, it is quite challenging to recognize the application requirements from code, since they have usually been o...