Sciweavers

3634 search results - page 236 / 727
» The Field Representation Language
Sort
View
JASIS
2008
109views more  JASIS 2008»
15 years 6 months ago
Modifying the journal impact factor by fractional citation weighting: The audience factor
A new approach to the field normalization of the classical journal impact factor is introduced called the audience factor. This approach takes into consideration the citing propen...
Michel Zitt, Henry Small
ICCV
2009
IEEE
15 years 4 months ago
Analysis of orientation and scale in smoothly varying textures
We present a novel representation for modeling textured regions subject to smooth variations in orientation and scale. Utilizing the steerable pyramid of Simoncelli and Freeman as...
Jason Chang, John W. Fisher III
ESWS
2007
Springer
16 years 24 days ago
A Reasoning Framework for Rule-Based WSML
WSML is an ontology language specifically tailored to annotate Web Services, and part of its semantics adheres to the rule-based knowledge representation paradigm of logic program...
Stephan Grimm, Uwe Keller, Holger Lausen, Gá...
WWW
2005
ACM
16 years 7 months ago
Soundness proof of Z semantics of OWL using institutions
The correctness of the Z semantics of OWL is the theoretical foundation of using software engineering techniques to verify Web ontologies. As OWL and Z are based on different logi...
Dorel Lucanu, Yuan-Fang Li, Jin Song Dong
ESOP
2009
Springer
15 years 10 months ago
Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming
This paper studies inductive definitions involving binders, in which aliasing between free and bound names is permitted. Such aliasing occurs in informal specifications of operatio...
Matthew R. Lakin, Andrew M. Pitts