5981 search results - page 325 / 1197 » time 2006 |
170
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this paper, we reduce pushdown system (PDS) model checking to a graphtheoretic problem, and apply a fast graph algorithm to improve the running time for model checking...
160
click to vote
CG
2006
Springer
15 years 10 months ago
2006
Springer
We show that a proper equilibrium of a matrix game can be found in polynomial time by solving a linear (in the number of pure strategies of the two players) number of linear progra...
174
click to vote
CSL
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The linear lambda calculus is very weak in terms of expressive power: in particular, all functions terminate in linear time. In this paper we consider a simple extension ...
157
click to vote
FMCAD
2006
Springer
15 years 10 months ago
2006
Springer
We present an approach to automatic synthesis of specifications given in Linear Time Logic. The approach is based on a translation through universal co-B
164
click to vote
BIOCOMP
2006
15 years 8 months ago
2006
: It is a very active research field to predict protein functions and active sites by protein surface patches. It is especially challengeable to predict the active sites by structu...