1728 search results - page 139 / 346 » The Size of Power Automata |
179
click to vote
MCM
2011
15 years 1 months ago
2011
We consider a polymerization (fragmentation) model with size-dependent parameters involved in prion proliferation. Using power laws for the different rates of this model, we reco...
191
click to vote
SERA
2004
Springer
16 years 16 hour ago
2004
Springer
NuEditor is a tool suite supporting specification and verification of software requirements written in NuSCR. NuSCR extends SCR (Software Cost Reduction) notation that has been us...
173
click to vote
TPHOL
2007
IEEE
16 years 28 days ago
2007
IEEE
We present a simple method to formally prove termination of recursive functions by searching for lexicographic combinations of size measures. Despite its simplicity, the method tur...
189
click to vote
CAISE
2003
Springer
15 years 10 months ago
2003
Springer
This paper presents an approach for the improvement of the efficiency of the performance analysis of large workflow models. We propose a simple and powerful decidable Petri net red...
196
click to vote
NIPS
2008
15 years 8 months ago
2008
We develop a statistical framework for the simultaneous, unsupervised segmentation and discovery of visual object categories from image databases. Examining a large set of manuall...