10568 search results - page 1748 / 2114 » Computer Intelligence and Formalization |
172
click to vote
AGS
2009
Springer
15 years 11 months ago
2009
Springer
Recently, we introduced Behavioural State Machines (BSM ), a novel programming framework for development of cognitive agents with Jazzyk, its associated programming language and in...
158
click to vote
MIG
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Navigational performance of artificial intelligence (AI) characters in computer games is gaining an increasingly important role in the perception of their behavior. Whil...
138
click to vote
CLUSTER
2008
IEEE
15 years 11 months ago
2008
IEEE
—The increasing performance and decreasing cost of processors and memory are causing system intelligence to move from the CPU to peripherals such as disk drives. Storage system d...
155
click to vote
SASO
2008
IEEE
15 years 11 months ago
2008
IEEE
Self-management is one of the challenges for realizing Ambient Intelligence in pervasive computing. In this paper, we propose and present a semantic web based selfmanagement appro...
145
click to vote
TPHOL
2008
IEEE
15 years 11 months ago
2008
IEEE
Although graphs are very common in computer science, they are still very difficult to handle for proof assistants as proving properties of graphs may require heavy computations. T...