Sciweavers

2079 search results - page 253 / 416
» Quantifying Information Flow
Sort
View
144
Voted
FOIKS
2006
Springer
15 years 6 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
120
Voted
GECCO
2006
Springer
185views Optimization» more  GECCO 2006»
15 years 6 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
15 years 5 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
103
Voted
AAAI
2008
15 years 4 months 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
90
Voted
AVI
2008
15 years 4 months 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...