10568 search results - page 229 / 2114 » Computer Intelligence and Formalization |
147
click to vote
MHCI
2004
Springer
15 years 8 months ago
2004
Springer
: The complex usage of mobile devices coupled with their limited resources in terms of display and processing suggests that being able to understand the context of the user would b...
140
click to vote
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
An agent population can be evolved in a complex environment to perform various tasks and optimize its job performance using Learning Classifier System (LCS) technology. Due to the...
111
click to vote
VSTTE
2010
Springer
15 years 1 months ago
2010
Springer
Formal modeling of computing systems yields models that are intended to be correct with respect to the requirements that have been formalized. The complexity of typical computing s...
123
click to vote
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
In this paper, we introduce a formal-language model for explicitly formalizing agent-environment interaction in a multiagent systems (MAS) framework: Conversational Grammar System...
106
click to vote
DAC
2009
ACM
15 years 10 months ago
2009
ACM
The latest advancements in the commercial formal model checkers have enabled the integration of formal property verification with the conventional testbench based methods in the o...