Sciweavers

2039 search results - page 71 / 408
» A Metric for the Evaluation of Imitation
Sort
View
ECOOP
2012
Springer
13 years 8 months ago
Inference and Checking of Object Ownership
Ownership type systems describe a heap topology and enforce an encapsulation discipline; they aid in various program correctness and understanding tasks. However, the annotation ov...
Wei Huang, Werner Dietl, Ana Milanova, Michael D. ...
ACL
2012
13 years 8 months ago
Humor as Circuits in Semantic Networks
This work presents a first step to a general implementation of the Semantic-Script Theory of Humor (SSTH). Of the scarce amount of research in computational humor, no research ha...
Igor Labutov, Hod Lipson
WWW
2003
ACM
16 years 7 months ago
Techniques and Metrics for Improving Website Structure
In this work two distinct metrics are proposed, which aim to quantify the importance of a web page based on the visits it receives by the users and its location within the website...
Eleni Christopoulou, John D. Garofalakis, Christos...
ICCAD
1996
IEEE
141views Hardware» more  ICCAD 1996»
15 years 10 months ago
An observability-based code coverage metric for functional simulation
Functional simulation is the most widely used method for design verification. At various levels of abstraction, e.g., behavioral, register-transfer level and gate level, the design...
Srinivas Devadas, Abhijit Ghosh, Kurt Keutzer
PROCEDIA
2010
115views more  PROCEDIA 2010»
15 years 1 months ago
Exploring ontology metrics in the biomedical domain
Ontologies are gaining popularity in many domains as a way of representing, dealing and reasoning with large volumes of information, and they are starting to play a major role in ...
N. Manouselis, Miguel-Ángel Sicilia, Daniel...