Sciweavers

5284 search results - page 882 / 1057
» Ontologizing Semantic Relations
Sort
View
PPDP
2009
Springer
16 years 1 months ago
An Isabelle/HOL-based model of stratego-like traversal strategies
Traversal strategies are at the heart of transformational programming with rewriting-based frameworks such as Stratego/XT or Tom and specific approaches for generic functional pr...
Markus Kaiser, Ralf Lämmel
SEKE
2009
Springer
16 years 1 months ago
Business Modeling for Service Engineering: Toward an integrated Procedure Model
Abstract—Business modeling for service engineering aims at flexible transformation of business logic into software code. The ISE framework is an interdisciplinary approach which...
Gregor Scheithauer, Stefan Augustin, Guido Wirtz
SIGIR
2009
ACM
16 years 1 months ago
Annotation of URLs: more than the sum of parts
Recently a number of studies have demonstrated that search engine logfiles are an important resource to determine the relevance relation between URLs and query terms. We hypothes...
Max Hinne, Wessel Kraaij, Stephan Raaijmakers, Suz...
FASE
2010
Springer
16 years 29 days ago
Proving Consistency and Completeness of Model Classes Using Theory Interpretation
Abstract. Abstraction is essential in the formal specification of programs. A common way of writing abstract specifications is to specify implementations in terms of basic mathem...
Ádám Darvas, Peter Müller
HICSS
2008
IEEE
151views Biometrics» more  HICSS 2008»
16 years 28 days ago
Structure and Network in the YouTube Core
In this paper, we present results of an empirical investigation into the social structure of YouTube, addressing friend relations and their correlation with tags applied to upload...
John C. Paolillo