2850 search results - page 343 / 570 » On Timed Models and Full Abstraction |
164
click to vote
TLCA
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Predicative analysis of recursion schema is a method to characterize complexity classes like the class of polynomial time functions. This analysis comes from the works of...
147
Voted
CEC
2005
IEEE
16 years 10 days ago
2005
IEEE
Abstract- Finding Golomb rulers is an extremely challenging optimization problem (with many practical applications) that has been approached by a variety of search methods in recen...
147
click to vote
ILP
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. It is well known by Inductive Logic Programming (ILP) practioners that ILP systems usually take a long time to find valuable models (theories). The problem is specially ...
190
click to vote
ICTAC
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. P systems (known also as membrane systems) are biologically motivated theoretical models of distributed and parallel computing. The two most interesting questions in the ...
176
click to vote
ISAAC
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. We study the problem of maintaining a (1+ )-factor approximation of the diameter of a stream of points under the sliding window model. In one dimension, we give a simple ...