Sciweavers

9015 search results - page 502 / 1803
» Using Structural Computing to Support Information Integratio...
Sort
View
EXACT
2009
15 years 4 months ago
Towards the Explanation of Workflows
Across many fields involving complex computing, software systems are being augmented with workflow logging functionality. The log data can be effectively organized using declarativ...
James Michaelis, Li Ding, Deborah L. McGuinness
SACMAT
2009
ACM
16 years 1 months ago
Towards formal security analysis of GTRBAC using timed automata
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
Samrat Mondal, Shamik Sural, Vijayalakshmi Atluri
HRI
2006
ACM
16 years 26 days ago
Structural descriptions in human-assisted robot visual learning
The paper presents an approach to using structural descriptions, obtained through a human-robot tutoring dialogue, as labels for the visual object models a robot learns. The paper...
Geert-Jan M. Kruijff, John D. Kelleher, Gregor Ber...
179
Voted
GECCO
2000
Springer
127views Optimization» more  GECCO 2000»
15 years 10 months ago
Evolving Molecules for Drug Design Using Genetic Algorithms via Molecular Trees
We present a new representation for a genetic algorithm to evolve molecular structures representing possible drugs that bind to a given protein target receptor. Our representation...
Gerard Kian-Meng Goh, James A. Foster
201
Voted
CSEE
1999
Springer
15 years 11 months ago
Replacing a Hospital Information System: An Example of a Real-World Case Study
Real-world case studies are important to complement the academic skills and knowledge acquired by computer science students. In this paper we relate our experiences with a course ...
Klaas Sikkel, Ton A. M. Spil, Rob L. W. van de Weg