77 search results - page 13 / 16 » Explicit constructions of RIP matrices and related problems |
FORMATS
2005
Springer
14 years 1 months ago
2005
Springer
Monitoring real-time concurrent systems is a challenging task. In this paper we formulate (model-based) supervision by means of hidden state history reconstruction, from event (e.g...
IADIS
2004
13 years 9 months ago
2004
Argument visualisation refers to graphical or other non-verbal means of making reasoning chains and conclusions explicit. Constructing argument diagrams is one way to visualise ar...
WWW
2008
ACM
14 years 8 months ago
2008
ACM
The boom of product review websites, blogs and forums on the web has attracted many research efforts on opinion mining. Recently, there was a growing interest in the finergrained ...
TPHOL
1999
IEEE
13 years 11 months ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...
FOSSACS
2003
Springer
14 years 22 days ago
2003
Springer
Genericity is the idea that the same program can work at many different data types. Longo, Milstead and Soloviev proposed to capture the inability of generic programs to probe th...