Sciweavers

3207 search results - page 44 / 642
» A Semantics for HTN Methods
Sort
View
ASWEC
2005
IEEE
14 years 3 months ago
A Formal Method for Program Slicing
Program slicing is a well-known program analysis technique that extracts the elements of a program related to a particular computation. Based on modular monadic semantics of a pro...
Yingzhou Zhang, Baowen Xu, José Emilio Labr...
EDOC
2003
IEEE
14 years 3 months ago
A Model-Driven Transformation Method
Model-driven architectures (MDA) separate the business or application logic from the underlying platform technology and represent this logic with precise semantic models. These mo...
Jana Koehler, Rainer Hauser, Shubir Kapoor, Freder...
NAACL
2003
13 years 11 months ago
Unsupervised methods for developing taxonomies by combining syntactic and statistical information
This paper describes an unsupervised algorithm for placing unknown words into a taxonomy and evaluates its accuracy on a large and varied sample of words. The algorithm works by ï...
Dominic Widdows
IS
2010
13 years 8 months ago
DB-SMoT: A direction-based spatio-temporal clustering method
—Existing works for semantic trajectory data analysis have focused on the intersection of trajectories with application important geographic information and the use of the speed ...
Jose Antonio M. R. Rocha, Valéria Ces&aacut...
ICMCS
2010
IEEE
156views Multimedia» more  ICMCS 2010»
13 years 11 months ago
Enriching music mood annotation by semantic association reasoning
Mood annotation of music is challenging as it concerns not only audio content but also extra-musical information. It is a representative research topic about how to traverse the w...
Jun Wang, Xavier Anguera, Xiaoou Chen, Deshun Yang