5550 search results - page 575 / 1110 » Different Approaches to Proof Systems |
173
Voted
HICSS
2006
IEEE
16 years 1 months ago
2006
IEEE
A comparative case study used content analysis to observe the emergence of voluntary online learning communities in two blended courses. The study developed an interaction-based a...
163
Voted
SEMWEB
2004
Springer
16 years 19 days ago
2004
Springer
Semantic Web resources — that is, knowledge representation formalisms existing in a distributed hypermedia system — require different addressing and processing models and capac...
188
click to vote
WEBI
2004
Springer
16 years 19 days ago
2004
Springer
PPDN, Push-Pull Distribution Network, — a proposal for a novel framework for peer-to-peer collaborative research network is presented. Some requirements not addressed by the cur...
180
Voted
SEFM
2003
IEEE
16 years 17 days ago
2003
IEEE
The Specification and Description Language (SDL) together with its associated tool sets can be used for the generation of Tree and Tabular Combined Notation (TTCN) test cases. Sur...
238
Voted
ECSQARU
2003
Springer
16 years 16 days ago
2003
Springer
Abstract. Default logic is one of the best known and most studied of the approaches to nonmonotonic reasoning. Subsequently, several variants of default logic have been proposed to...