Sciweavers

1136 search results - page 79 / 228
» A Prototype of an Active Form System
Sort
View
AOIS
2006
13 years 9 months ago
ToothAgent: A Multi-agent System for Virtual Communities Support
People tend to form social networks within geographical areas. This can be explained by the fact that generally geographical localities correspond to common interests (e.g. studen...
Volha Bryl, Paolo Giorgini, Stefano Fante
AGENTS
2001
Springer
14 years 26 days ago
A multi-agent system for automated genomic annotation
Massive amounts of raw data are currently being generated by biologists while sequencing organisms. Outside of the largest, high-pro le projects such as the Human Genome Project, ...
Keith Decker, Xiaojing Zheng, Carl Schmidt
ECIS
2001
13 years 9 months ago
Rethinking competence systems for innovative organizations
Information technology (IT) support for managing competence is based on a rationalistic view of competence. While these competence systems might work in rationalistic organization...
Rikard Lindgren, Dick Stenmark, Magnus Bergquist, ...
IAT
2010
IEEE
13 years 6 months ago
A Voting-Based Agent System for Course Selection in E-Learning
Agent technology is a good approach for solving a number of problems concerned with personalized learning. In personal learning contexts individual students are given an environme...
Ali M. Aseere, Enrico H. Gerding, David E. Millard
ATVA
2006
Springer
191views Hardware» more  ATVA 2006»
14 years 2 days ago
Automatic Verification of Hybrid Systems with Large Discrete State Space
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...
Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang,...