688 search results - page 59 / 138 » Types for trees |
80
Voted
DAGSTUHL
2007
15 years 2 months ago
2007
We examine the question of solving the extinction probability of a particular class of continuous-time multi-type branching processes, named Markovian binary trees (MBT). The exti...
86
Voted
FUIN
2007
15 years 22 days ago
2007
We define a relative version of the logic NIL introduced by Orłowska, Pawlak and Vakarelov and we show that satisfiability is not only decidable but also EXPTIME-complete. Such ...
90
Voted
IVA
2010
Springer
14 years 11 months ago
2010
Springer
A smile may communicate different meanings depending on subtle characteristics of the facial expression. In this article, we have studied the morphological and dynamic characteris...
118
click to vote
CSFW
2012
IEEE
13 years 3 months ago
2012
IEEE
—Tracking information flow in dynamic languages remains an important and intricate problem. This paper makes substantial headway toward understanding the main challenges and res...
148
Voted
ASAP
2002
IEEE
15 years 5 months ago
2002
IEEE
Recently there has been quite a number of papers discussing the use of redundant 4-to-2 adders for the accumulation of partial products in multipliers, claiming one type to be sup...