Sciweavers

3706 search results - page 311 / 742
» System Description: H-PILoT
Sort
View
ISW
2005
Springer
16 years 8 days ago
Evaluating Access Control Policies Through Model Checking
We present a model-checking algorithm which can be used to evaluate access control policies, and a tool which implements it. The evaluation includes not only assessing whether the ...
Nan Zhang 0003, Mark Ryan, Dimitar P. Guelev
EAGC
2004
Springer
16 years 5 days ago
A Grid Service Framework for Metadata Management in Self-e-Learning Networks
Metadata management is critical for Grid systems. More specifically, semantically meaningful resource descriptions constitute a highly beneficial extension to Grid environments t...
George Samaras, Kyriakos Karenos, Eleni Christodou...
ILP
2004
Springer
16 years 4 days ago
Improving Rule Evaluation Using Multitask Learning
Abstract. This paper introduces Deft, a new multitask learning approach for rule learning algorithms. Like other multitask learning systems, the one proposed here is able to improv...
Mark D. Reid
CICLING
2003
Springer
16 years 2 hour ago
Computing with Realizational Morphology
The theory of realizational morphology presented by Stump in his influential book Inflectional Morphology (2001) describes the derivation of inflected surface forms from underly...
Lauri Karttunen
ICRA
2002
IEEE
146views Robotics» more  ICRA 2002»
15 years 11 months ago
Real-Time Combinatorial Tracking of a Target Moving Unpredictably among Obstacles
Abstract—Many applications require continuous monitoring of a moving target by a controllable vision system. Although the goal of tracking objects is not new, traditional techniq...
Héctor H. González-Baños, Che...