2107 search results - page 106 / 422 » b 2007 |
138
click to vote
CATS
2006
15 years 7 months ago
2006
This paper gives an overview of a pilot project on the specification and verification of the L4 highperformance microkernel. Of the three aspects examined in the project, we descr...
141
click to vote
EUSFLAT
2003
15 years 7 months ago
2003
The methods of reconstruction of perception based functions (PBF) given by the set of rules like “If X is SMALL then Y is VERY QUICKLY INCREASING”, “If X is BETWEEN A and B ...
180
Voted
NIPS
2003
15 years 7 months ago
2003
This paper presents a method for learning a distance metric from relative comparison such as “A is closer to B than A is to C”. Taking a Support Vector Machine (SVM) approach,...
154
click to vote
SERP
2003
15 years 7 months ago
2003
— Our work focuses on the use of formal techniques in order to increase the quality of HCI software and of all the processes resulting from the development, verification, design...
133
click to vote
4OR
2005
15 years 6 months ago
2005
Shepherd (1995) proved that the stable set polytopes of near-bipartite graphs are given by constraints associated with the complete join of antiwebs only. For antiwebs, the facet s...