1420 search results - page 121 / 284 » Multi-point Constructive Search |
151
click to vote
CHI
2007
ACM
16 years 4 months ago
2007
ACM
Tagclouds are visual presentations of a set of words, typically a set of "tags" selected by some rationale, in which attributes of the text such as size, weight, or colo...
114
click to vote
CADE
2006
Springer
16 years 4 months ago
2006
Springer
Abstract. We describe a second-order type theory with proof irrelevance. Within this framework, we give a representation of a form of Mac Lane set theory and discuss automated supp...
158
click to vote
DEXA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In this paper, we study the problem of projected outlier detection in high dimensional data streams and propose a new technique, called Stream Projected Ouliter deTector ...
120
click to vote
IWANN
2009
Springer
15 years 11 months ago
2009
Springer
—This paper describes a multi-agent based simulation (MABS) framework to construct an artificial electric power market populated with learning agents. The artificial market, na...
113
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— We present a systematic method for model reduction of a class of input-quantized systems in the max-plus algebra. We consider a generalization of the flow shop with ...