2520 search results - page 333 / 504 » Model-checking behavioral programs |
120
click to vote
SE
2007
15 years 3 months ago
2007
Agile methodologies can be enhanced by the use of shadows as this feature because of its inherent ability to dynamically change the behavior of classes and objects, provides mecha...
128
Voted
IJCAI
2001
15 years 3 months ago
2001
This paper describes a method for structuring a robot motor learning task. By designing a suitably parameterized policy, we show that a simple search algorithm, along with biologi...
108
click to vote
PUC
2006
15 years 2 months ago
2006
Traditional remote controls typically allow users to activate functionality of a single device. Given that users activate a subset of functionality across devices to accomplish a p...
140
click to vote
JETAI
2007
15 years 2 months ago
2007
Research in computational cognitive modeling investigates the nature of cognition through developing process-based understanding by specifying computational models of mechanisms (...
110
click to vote
SIGCSE
2008
ACM
15 years 1 months ago
2008
ACM
In this hands-on special session, attendees will learn about and use a Game of Life cellular automata framework (Java) to assist with outreach activities. Using the framework, stu...