2000 search results - page 50 / 400 » The Dynamics of Syntactic Knowledge |
151
click to vote
HICSS
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper proposes a knowledge map management system to facilitate knowledge management in virtual communities of practice. To realize the proposed knowledge map management, we d...
141
click to vote
ESAW
2009
Springer
16 years 17 hour ago
2009
Springer
In multi-agent system literature, the role concept is getting ngly researched to provide an abstraction to scope beliefs, norms, goals of agents and to shape relationships of the a...
174
click to vote
SPIN
2009
Springer
15 years 12 months ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...
158
click to vote
ADG
2006
Springer
15 years 9 months ago
2006
Springer
We present an application of an automatic theorem proving (ATP) in the verification of constructions made with dynamic geometry software (DGS). Given a specification language for g...
136
click to vote
FASE
1998
Springer
15 years 9 months ago
1998
Springer
A critical issue for complex component-based systems design is the modeling and analysis of architecture. One of the complicating factors in developing architectural models is acc...