Sciweavers

3229 search results - page 390 / 646
» The Theory of Timed Automata
Sort
View
SARA
2009
Springer
16 years 1 months ago
Modelling Equidistant Frequency Permutation Arrays in Constraints
Equidistant Frequency Permutation Arrays are combinatorial objects of interest in coding theory. A frequency permutation array is a type of constant composition code in which each...
Ian P. Gent, Paul McKay, Ian Miguel, Peter Nightin...
CANDC
2009
ACM
16 years 1 months ago
Growing and destroying the worth of ideas
This paper presents a novel computational approach to the study of creativity. In particular, it discusses a modeling framework that addresses the worth of ideas ascribed by agent...
Ricardo Sosa, John S. Gero, Kyle Jennings
ESEM
2009
ACM
16 years 1 months ago
Usability testing with total-effort metrics
Usability testing activities have numerous benefits in theory, yet they are often overlooked or disregarded in practice. A testing paradigm which yields objective, quantitative re...
Liam Feldman, Carl J. Mueller, Dan E. Tamir, Oleg ...
CDC
2008
IEEE
129views Control Systems» more  CDC 2008»
16 years 1 months ago
Distributed motion constraints for algebraic connectivity of robotic networks
— This paper studies connectivity maintenance of robotic networks that communicate at discrete times and move in continuous space. We propose a distributed algorithm that allows ...
Michael Schuresko, Jorge Cortés
155
Voted
CDC
2008
IEEE
107views Control Systems» more  CDC 2008»
16 years 1 months ago
Resource pooling for optimal evacuation of a large building
— This paper is concerned with modeling, analysis and optimization/control of occupancy evolution in a large building. The main concern is efficient evacuation of a building in ...
Kun Deng, Wei Chen, Prashant G. Mehta, Sean P. Mey...