866 search results - page 25 / 174 » A Formal Investigation of |
114
click to vote
MLG
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. There are many connections between graph mining and inductive logic programming (ILP), or more generally relational learning. Up till now these connections have mostly be...
133
click to vote
STACS
1991
Springer
15 years 5 months ago
1991
Springer
Formal power series over non-commuting variables have been investigated as representations of the behavior of automata with multiplicities. Here we introduce and investigate the co...
104
click to vote
ZUM
2005
Springer
15 years 7 months ago
2005
Springer
In this paper we use Z to capture the requirements for an ‘intuitive’ menu navigation system as a series of conjectures that should hold. We use those requirements to investiga...
108
click to vote
IPL
2008
15 years 1 months ago
2008
: We investigate weighted automata with discounting and their behaviours over semirings and finitely generated graded monoids. We characterize the discounted behaviours of weighted...
104
click to vote
FUIN
2010
15 years 13 days ago
2010
A formal model for diagnostics of biological systems modelled as P systems is presented. We assume the presence of some biologically motivated changes (frequently pathological) in ...