598 search results - page 35 / 120 » Independence Semantics for BKBs |
112
click to vote
BIRTHDAY
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. Software engineering uses UML diagrams as a standard technique for specification and development of software. Various UML diagrams are used for specification of different...
129
click to vote
SAC
2011
ACM
14 years 2 months ago
2011
ACM
It is well known that the main objective of conceptual retrieval models is to go beyond simple term matching by relaxing term independence assumption through concept recognition. ...
COLING
1990
15 years 1 months ago
1990
: Noncanonical semantic representations are representations which cannot be derived by some grammar G although they are semanticMly equivalent to representations which can be deriv...
110
click to vote
KBSE
2005
IEEE
15 years 5 months ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
SIGSOFT
2005
ACM
16 years 17 days ago
2005
ACM
Software systems are complex and difficult to analyze. Reengineering is a complex activity that usually involves combining different techniques and tools. Moose is an reengineerin...