4666 search results - page 96 / 934 » Equations on Timed Languages |
106
click to vote
PAKDD
2004
ACM
15 years 6 months ago
2004
ACM
This paper presents a new prediction model for predicting when an online customer leaves a current page and which next Web page the customer will visit. The model can forecast the ...
IPPS
2000
IEEE
15 years 5 months ago
2000
IEEE
This paper describes a framework for parametric analysis of real-time systems based on process algebra. The Algebra of Communicating Shared Resources ACSR has been extended to AC...
118
Voted
STACS
1999
Springer
15 years 5 months ago
1999
Springer
The paper gives a logical characterisation of the class NTIME(n) of problems that can be solved on a nondeterministic Turing machine in linear time. It is shown that a set L of str...
98
Voted
IJAC
2007
15 years 20 days ago
2007
Abstract. We say the endomorphism problem is solvable for an element W in a free group F if it can be decided effectively whether, given U in F , there is an endomorphism φ of F ...
61
Voted
ICALP
2005
Springer
15 years 6 months ago
2005
Springer