6438 search results - page 2 / 1288 » A Parameterised Search System |
CONCUR
2008
Springer
13 years 7 months ago
2008
Springer
The concept of invariance for Parameterised Boolean Equation Systems (PBESs) is studied in greater detail. We identify an issue with the associated theory and fix this problem by p...
CODES
2001
IEEE
13 years 9 months ago
2001
IEEE
CORR
2006
Springer
13 years 5 months ago
2006
Springer
The well-known problem of state space explosion in model checking is even more critical when applying this technique to programming languages, mainly due to the presence of complex...
IJCNLP
2005
Springer
13 years 11 months ago
2005
Springer
Recent work on Conditional Random Fields (CRFs) has demonstrated the need for regularisation when applying these models to real-world NLP data sets. Conventional approaches to regu...
FORTE
2001
13 years 7 months ago
2001
A symbolic semantics for Full LOTOS in terms of symbolic transition systems is defined; the semantics extends the (infinitely branching) standard semantics by giving meaning to da...