4507 search results - page 132 / 902 » Generalized Binet dynamics |
125
click to vote
AMAST
2006
Springer
15 years 6 months ago
2006
Springer
We present DO-Casl, a new member of the CASL family of specification languages. It is an extension of Casl-Ltl and it supports a methodology for conveniently writing loose specific...
127
click to vote
IJCAI
2007
15 years 6 months ago
2007
We consider the fundamental problem of monitoring (i.e. tracking) the belief state in a dynamic system, when the model is only approximately correct and when the initial belief st...
134
click to vote
NETWORKING
2007
15 years 6 months ago
2007
In the next generation backbone networks, IP/MPLS over optical networks, the ability to maintain an acceptable level of reliability has become crucial since a failure can result in...
151
Voted
CSREAEEE
2006
15 years 5 months ago
2006
: Collaborative and dynamic workflow management systems in logistic companies require strong information systems and computer support. Business processes in such industries general...
170
click to vote
ISMB
1996
15 years 5 months ago
1996
This study demonstratesthe use of decision tree classifiers as the basis for a general gene-finding system. The system uses a dynamic programmingalgorithm that. finds the optimal ...