677 search results - page 90 / 136 » Dependent Types from Counterexamples |
IAT
2008
IEEE
15 years 4 months ago
2008
IEEE
Communication networks, such as networks formed by phone calls and email communications, can be modeled as dynamic graphs with vertices representing agents and edges representing ...
108
click to vote
IJCNN
2008
IEEE
15 years 4 months ago
2008
IEEE
— Gene expression based cancer classification using classifier ensembles is the main focus of this work. A new ensemble method is proposed that combines predictions of a small ...
105
click to vote
IROS
2008
IEEE
15 years 4 months ago
2008
IEEE
— This paper presents a vision based method for grasp classification. It is developed as part of a Programming by Demonstration (PbD) system for which recognition of objects and...
112
click to vote
SBACPAD
2008
IEEE
15 years 4 months ago
2008
IEEE
This work presents an implementation of Neocognitron Neural Network, using a high performance computing architecture based on GPU (Graphics Processing Unit). Neocognitron is an ar...
C5
2007
IEEE
15 years 4 months ago
2007
IEEE
3D virtual environments like Croquet need to be attractive in order to be visited and used. Their attractiveness depends on the level of vitality that the user is able to experien...