12193 search results - page 404 / 2439 » It's not all about |
189
Voted
DMTCS
2010
15 years 4 months ago
2010
A direct product of two words is a naturally defined word on the alphabet of pairs of symbols. We introduce the class URP of uniformly recurrent words such that a direct product o...
200
Voted
CORR
2011
Springer
14 years 10 months ago
2011
Springer
—In this paper, we introduce a sparse approximation property of order s for a measurement matrix A: xs 2 ≤ D Ax 2 + β σs(x) √ s for all x, where xs is the best s-sparse app...
180
click to vote
KDD
2009
ACM
16 years 7 months ago
2009
ACM
Opinion mining became an important topic of study in recent years due to its wide range of applications. There are also many companies offering opinion mining services. One proble...
170
click to vote
VMCAI
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...
186
click to vote
ICLP
2005
Springer
16 years 10 days ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...