1297 search results - page 12 / 260 » fews 2007 |
AB
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. This paper surveys the field of automated reasoning, giving some historical background and outlining a few of the main current research themes. We particularly emphasize...
COLT
2007
Springer
15 years 6 months ago
2007
Springer
We present a framework for margin based active learning of linear separators. We instantiate it for a few important cases, some of which have been previously considered in the lite...
GI
2007
Springer
15 years 6 months ago
2007
Springer
: Very few research efforts have been spent on the coordination of plans and operations of independent carriers in an intermodal transportation chain. The impact of this lack of co...
MVA
1998
15 years 1 months ago
1998
This paper describes a comparisonof the performance and usability of three Linear Processor Arrays for image processing purposes. The study covered the NEC IMAP-VISION card 1], th...
ACS
2004
14 years 11 months ago
2004
There is a construction which lies at the heart of descent theory. The combinatorial aspects of this paper concern the description of the construction in all dimensions. The descr...