Sciweavers

1913 search results - page 147 / 383
» Group Input Machine
Sort
View
VMCAI
2007
Springer
15 years 10 months ago
On Flat Programs with Lists
Abstract. In this paper we analyze the complexity of checking safety and termination properties, for a very simple, yet non-trivial, class of programs with singly-linked list data ...
Marius Bozga, Radu Iosif
ECML
2005
Springer
15 years 10 months ago
Rotational Prior Knowledge for SVMs
Incorporation of prior knowledge into the learning process can significantly improve low-sample classification accuracy. We show how to introduce prior knowledge into linear supp...
Arkady Epshteyn, Gerald DeJong
ICALP
2005
Springer
15 years 10 months ago
Tight Lower Bounds for Query Processing on Streaming and External Memory Data
We study a clean machine model for external memory and stream processing. We show that the number of scans of the external data induces a strict hierarchy (as long as work space is...
Martin Grohe, Christoph Koch, Nicole Schweikardt
DSMML
2004
Springer
15 years 10 months ago
Understanding Gaussian Process Regression Using the Equivalent Kernel
The equivalent kernel [1] is a way of understanding how Gaussian process regression works for large sample sizes based on a continuum limit. In this paper we show how to approximat...
Peter Sollich, Christopher K. I. Williams
NLDB
2004
Springer
15 years 10 months ago
Accessing an Information System by Chatting
Abstract. In this paper, we describe a new way to access information by “chatting” to an information source. This involves a chatbot, a program that emulates human conversation...
Bayan Abu Shawar, Eric Atwell