700 search results - page 44 / 140 » A Tools Environment for Developing and Reasoning about Ontol... |
107
click to vote
VL
2003
IEEE
15 years 6 months ago
2003
IEEE
Models of programming and debugging suggest many causes of errors, and many classifications of error types exist. Yet, there has been no attempt to link causes of errors to these ...
160
click to vote
KR
1991
Springer
15 years 5 months ago
1991
Springer
Temporal logic can be used as a programming language. If temporal formulae are represented in the form of an implication where the antecedent refers to the past, and the consequen...
112
click to vote
ECSCW
2001
15 years 2 months ago
2001
Work processes in team based software development need to be structured to minimise and resolve conflicting or divergent work. Current software development methodologies propose wa...
125
click to vote
PERCOM
2011
ACM
14 years 5 months ago
2011
ACM
—As smart home technologies continue to be deployed in research and real world environments, there continues to be a need for quality visualization of the smart home data. This d...
ICCBR
2005
Springer
15 years 7 months ago
2005
Springer
Traditional CBR approaches imply centralized storage of the case base and, most of them, the retrieval of similar cases by an exhaustive comparison of the case to be solved with th...