561 search results - page 13 / 113 » Inferring better contracts |
ESWS
2010
Springer
15 years 4 months ago
2010
Springer
Novel wireless handheld devices allow the adoption of revised and adapted discovery approaches originally devised for the Semantic Web in mobile ad-hoc networks. Nevertheless, capa...
116
click to vote
AIML
2006
15 years 1 months ago
2006
We see a systematic set of cut-free axiomatisations for all the basic normal modal logics formed by some combination the axioms d, t, b, 4, 5. They employ a form of deep inference ...
IV
2002
IEEE
15 years 4 months ago
2002
IEEE
We propose a force-directed approach for drawing graphs in a nearly symmetric fashion. Our algorithm is built upon recent theoretical results on maximum symmetric subgraphs. Knowi...
107
click to vote
IPPS
2007
IEEE
2007
IEEE
Protein Secondary Structure Prediction using Bayesian Inference method on Decision fusion algorithms
15 years 6 months ago
Prediction of protein secondary structure (alpha-helix, beta-sheet, coil) from primary sequence of amino acids is a very challenging task, and the problem has been approached from...
101
click to vote
ICGI
2004
Springer
15 years 5 months ago
2004
Springer
We present a method for modeling user navigation on a web site using grammatical inference of stochastic regular grammars. With this method we achieve better models than the previo...