7766 search results - page 1138 / 1554 » Testing Nondeterminate Systems |
156
click to vote
CSL
2006
Springer
15 years 8 months ago
2006
Springer
The Hintikka-style modal logic approach to knowledge has a well-known defect of logical omniscience, i.e., an unrealistic feature that an agent knows all logical consequences of he...
169
click to vote
FGR
2006
IEEE
15 years 8 months ago
2006
IEEE
In this paper, we present our newly developed face expression modeling system for expression analysis and identification. Given a face image at a front view, a realistic facial mo...
139
click to vote
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
This paper presents an evolutionary algorithm to develop cooperative strategies for power buyers in a deregulated electrical power market. Cooperative strategies are evolved throu...
142
click to vote
CIARP
2003
Springer
15 years 8 months ago
2003
Springer
Classification problems are traditionally focused on uniclass samples, that is, each sample of the training and test sets has one unique label, which is the target of the classific...
140
click to vote
COMPSAC
2001
IEEE
15 years 8 months ago
2001
IEEE
Virtual Reality Modeling Language (VRML) is widely used to represent, create, and display virtual reality objects and their environment. Some VRML applications require concurrent ...