270 search results - page 37 / 54 » A determinant property of Catalan numbers |
JSC
2010
13 years 3 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
VIS
2007
IEEE
14 years 10 months ago
2007
IEEE
Conveying shape using feature lines is an important visualization tool in visual computing. The existing feature lines (e.g., ridges, valleys, silhouettes, suggestive contours, etc...
EMSOFT
2007
Springer
14 years 2 months ago
2007
Springer
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
ICDIM
2006
IEEE
14 years 2 months ago
2006
IEEE
— We present three general approaches to detecting prototypical entities in a given taxonomy and apply them to a music information retrieval (MIR) problem. More precisely, we try...
VALUETOOLS
2006
ACM
14 years 2 months ago
2006
ACM
In this paper we consider a general class of single-server multiqueue systems in which the stability of any single queue can be essentially determined by the queue’s arrival rat...