1036 search results - page 188 / 208 » Algorithms for Learning Regular Expressions |
130
click to vote
OOPSLA
2007
Springer
15 years 7 months ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
103
click to vote
RTA
2005
Springer
15 years 6 months ago
2005
Springer
We present constructive arithmetic in Deduction modulo with rewrite rules only. In natural deduction and in sequent calculus, the cut elimination theorem and the analysis of the st...
120
click to vote
RTCSA
1999
IEEE
15 years 5 months ago
1999
IEEE
While it is widely believed that preemptability is a necessary requirement for developing real-time software, there are additional costs involved with preemptive scheduling, as co...
127
click to vote
INFORMS
1998
15 years 1 months ago
1998
High-level formalisms such as stochastic Petri nets can be used to model complex systems. Analysis of logical and numerical properties of these models often requires the generatio...
142
click to vote
KDD
2009
ACM
16 years 1 months ago
2009
ACM
The explosion of user-generated content on the Web has led to new opportunities and significant challenges for companies, that are increasingly concerned about monitoring the disc...