3104 search results - page 56 / 621 » Competence-Based EE-Learning: (How) Can We Implement It |
138
click to vote
SPIN
2000
Springer
15 years 8 months ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...
127
click to vote
CHES
1999
Springer
15 years 8 months ago
1999
Springer
Cryptographic algorithms are more efficiently implemented in custom hardware than in software running on general-purpose processors. However, systems which use hardware implementat...
114
click to vote
EACL
2003
ACL Anthology
15 years 5 months ago
2003
ACL Anthology
We illustrate how the use of metaphorical views for reasoning with metaphor requires the mapping of information such as event shape, event rate and mental/emotional states from th...
EMNLP
2009
15 years 2 months ago
2009
We describe a process for automatically detecting decision-making sub-dialogues in multi-party, human-human meetings in real-time. Our basic approach to decision detection involve...
278
click to vote
ICCSA
2011
Springer
14 years 8 months ago
2011
Springer
This paper describes an ongoing implementation of an open source library dealing with parametric representation of dynamic geometry constructions. We show how some current issues i...