1248 search results - page 74 / 250 » Decision Tree Grafting |
TKDD
2010
15 years 2 months ago
2010
BMVC
2010
15 years 2 months ago
2010
114
click to vote
POPL
2012
ACM
13 years 12 months ago
2012
ACM
We develop logical mechanisms and decision procedures to facilitate the verification of full functional properties of inductive tree data-structures using recursion that are soun...
116
click to vote
AROBOTS
2006
15 years 4 months ago
2006
Most current mobile robots are designed to determine their actions according to their positions. Before making a decision, they need to localize themselves. Thus, their observation...
117
click to vote
ICCD
2002
IEEE
16 years 1 months ago
2002
IEEE
VLIW processors are statically scheduled processors and their performance depends on the quality of the compiler’s scheduler. We propose a scheduling scheme where the applicatio...