Sciweavers

4987 search results - page 705 / 998
» Fuzzifying P Systems
Sort
View
DAGSTUHL
2007
15 years 8 months ago
An Inner/Outer Stationary Iteration for Computing PageRank
We present a stationary iterative scheme for PageRank computation. The algorithm is based on a linear system formulation of the problem, uses inner/outer iterations, and amounts to...
Andrew P. Gray, Chen Greif, Tracy Lau
LREC
2010
180views Education» more  LREC 2010»
15 years 8 months ago
Multilevel Legal Ontologies
In order to manage the knowledge representation of European law we have proposed the Legal Taxonomy Syllabus methodology (Ajani et al., 2007a; Ajani et al., 2007b). In this paper ...
Gianmaria Ajani, Guido Boella, Leonardo Lesmo, Mar...
FMOODS
2008
15 years 8 months ago
Semantic Foundations and Inference of Non-null Annotations
This paper proposes a semantics-based automatic null pointer analysis for inferring non-null annotations of fields in objectoriented programs. The analysis is formulated for a mini...
Laurent Hubert, Thomas P. Jensen, David Pichardie
MEDINFO
2007
116views Healthcare» more  MEDINFO 2007»
15 years 8 months ago
Improving Computer Aided Disease Detection Using Knowledge of Disease Appearance
The accurate quantification of disease patterns in medical images allows radiologists to track the progress of a disease. Various computer vision techniques are able to automatica...
Tatjana Zrimec, James S. J. Wong
AAAI
2006
15 years 8 months ago
AI Support for Building Cognitive Models
Cognitive modeling techniques provide a way of evaluating user interface designs, based on what is known about human cognitive strengths and limitations. Cognitive modelers face a...
Robert St. Amant, Sean P. McBride, Frank E. Ritter