Sciweavers

1925 search results - page 138 / 385
» Theory research at Google
Sort
View
ESAW
2004
Springer
15 years 11 months ago
Managing Conflicts Between Individuals and Societies in Multi-agent Systems
The development of multi-agent systems (MAS) implies considering both the social and individual levels of these systems. However, the elements in these levels are not necessarily c...
Rubén Fuentes, Jorge J. Gómez-Sanz, ...
PEPM
2004
ACM
15 years 11 months ago
Proving termination of membership equational programs
Advanced typing, matching, and evaluation strategy features, as well as very general conditional rules, are routinely used in equational programming languages such as, for example...
Francisco Durán, Salvador Lucas, José...
HICSS
2003
IEEE
164views Biometrics» more  HICSS 2003»
15 years 11 months ago
On a Text-Processing Approach to Facilitating Autonomous Deception Detection
Abstract—Current techniques towards information security have limited capabilities to detect and counter attacks that involve different kinds of masquerade and spread of misinfor...
Therani Madhusudan
ICEIS
2003
IEEE
15 years 11 months ago
Knowledge Construction in E-Learning - Designing an E-Learning Environment
: In the traditional classroom, students learned to depend on tutors for their motivation, direction, goal setting, progress monitoring, self-assessment, and achievement. A fundame...
Kecheng Liu, Shirley Williams, Lily Sun
ICC
2007
IEEE
162views Communications» more  ICC 2007»
15 years 10 months ago
LSP and Back Up Path Setup in MPLS Networks Based on Path Criticality Index
This paper reports on a promising approach for solving problems found when Multi Protocol Label Switching (MPLS), soon to be a dominant protocol, is used in core network systems. D...
Ali Tizghadam, Alberto Leon-Garcia