5863 search results - page 774 / 1173 » On Model-Checking of P Systems |
136
click to vote
ISI
2005
Springer
16 years 10 days ago
2005
Springer
Verification of legitimate access of documents, which is one aspect of the umbrella of problems in the Insider Threat category, is a challenging problem. This paper describes the r...
134
click to vote
NIME
2005
Springer
16 years 9 days ago
2005
Springer
This paper aims to present some perspectives on mapping embouchure gestures of flute players and their use as control variables. For this purpose, we have analyzed several types ...
158
click to vote
ECAI
2004
Springer
16 years 6 days ago
2004
Springer
Abstract— Learning techniques in robotic grasping applications have usually been concerned with the way a hand approaches to an object, or with improving the motor control of man...
188
click to vote
ICT
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. This paper presents the ADenoIdS intrusion detection system (IDS). ADenoIdS takes some architectural inspiration from the human immune system and automates intrusion reco...
184
click to vote
NLDB
2004
Springer
16 years 5 days ago
2004
Springer
In recent literature it is commonly agreed that the first phase of the software development process is still an area of concern. Furthermore, while software technology has been ch...