18918 search results - page 481 / 3784 » Using Technology in Teaching |
182
click to vote
CAI
2006
Springer
15 years 6 months ago
2006
Springer
In this paper, formal verification methodologies and the SPR (Safety Problem Resolver) model checking tool are used for verifying a security model's safety. The SPR tool makes...
136
click to vote
IJBIDM
2006
15 years 6 months ago
2006
: Workflow Management Systems (WfMS) provide a fundamental technological infrastructure to define and manage business processes efficiently. WfMS logs contain valuable data that ca...
178
click to vote
KES
2008
Springer
15 years 6 months ago
2008
Springer
This paper presents a new classification technique of continuous EEG recordings, based on a network of spiking neurons. Human EEG signals published on the BCI Competition website w...
166
click to vote
TDSC
2008
15 years 6 months ago
2008
Due to a rapid advancement in the electronic commerce technology, the use of credit cards has dramatically increased. As credit card becomes the most popular mode of payment for bo...
146
click to vote
IDA
2000
Springer
15 years 6 months ago
2000
Springer
Conventional algorithms for decision tree induction use an attribute-value representation scheme for instances. This paper explores the empirical consequences of using set-valued ...