Sciweavers

2079 search results - page 253 / 416
» Quantifying Information Flow
Sort
View
FOIKS
2006
Springer
14 years 1 months ago
Consistency Checking Algorithms for Restricted UML Class Diagrams
Abstract. Automatic debugging of UML class diagrams helps in the visual specification of software systems because users cannot detect errors in logical inconsistency easily. This p...
Ken Kaneiwa, Ken Satoh
GECCO
2006
Springer
185views Optimization» more  GECCO 2006»
14 years 1 months ago
Memory analysis and significance test for agent behaviours
Many agent problems in a grid world have a restricted sensory information and motor actions. The environmental conditions need dynamic processing of internal memory. In this paper...
DaeEun Kim
EGOV
2009
Springer
14 years 1 months ago
Profiling the EG Research Community and Its Core
Electronic Government Research (EGR) has progressed beyond its stages of infancy and has unfolded into a respected domain of multi- and crossdisciplinary study. A sizable and dedic...
Hans Jochen Scholl
AAAI
2008
14 years 19 days ago
On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture
In a seminal paper, Lin and Reiter introduced a modeltheoretic definition for the progression of the initial knowledge base of a basic action theory. This definition comes with a ...
Stavros Vassos, Hector J. Levesque
AVI
2008
14 years 19 days ago
Evaluation of pointing performance on screen edges
Pointing on screen edges is a frequent task in our everyday use of computers. Screen edges can help stop cursor movements, requiring less precise movements from the user. Thus, po...
Caroline Appert, Olivier Chapuis, Michel Beaudouin...