5269 search results - page 88 / 1054 » order 2007 |
108
click to vote
AMC
2007
15 years 4 months ago
2007
This short note explains how to use ready-to-use components of symbolic software to convert between the free cumulants and the moments of measures without sophisticated programming...
AAAI
2007
15 years 6 months ago
2007
The formation of internet-based social networks has revived research on traditional social network models as well as interest-matching, or match-making, systems. In order to autom...
97
Voted
AUTOMATICA
2002
15 years 3 months ago
2002
We present a formula for the extremes of the null controllable region of a general LTI discrete-time system with bounded inputs. For an nth order system with only real poles (not ...
123
Voted
AML
2006
15 years 3 months ago
2006
We study the formal rst order system Tind in the standard language of Gentzen's LK. Tind extends LK by the purely logical rule of term-induction, that is a restricted inductio...
136
click to vote
IJCAI
1989
15 years 5 months ago
1989
We Imbed Into a first order logic a representation language that combines atemporal knowledge with time stamps in a hierarchical fashion. Each time structure contains its own chro...