Sciweavers

6976 search results - page 1247 / 1396
» The Oil Searching Problem
Sort
View
DLOG
2010
15 years 5 months ago
The Logical Difference For Fuzzy EL+ Ontologies
Abstract. Ontologies undergo changes for reasons such as changes in knowledge, meeting varying application requirements. Thus, for different versions of a considered ontology, it i...
Shasha Feng, Yonggang Zhang, Dantong Ouyang, Haiya...
ECAI
2010
Springer
15 years 5 months ago
LTL Goal Specifications Revisited
The language of linear temporal logic (LTL) has been proposed as a formalism for specifying temporally extended goals and search control constraints in planning. However, the seman...
Andreas Bauer 0002, Patrik Haslum
197
Voted
EMNLP
2010
15 years 5 months ago
Inducing Probabilistic CCG Grammars from Logical Form with Higher-Order Unification
This paper addresses the problem of learning to map sentences to logical form, given training data consisting of natural language sentences paired with logical representations of ...
Tom Kwiatkowksi, Luke S. Zettlemoyer, Sharon Goldw...
ICIP
2010
IEEE
15 years 5 months ago
Video retargeting: A visual-friendly dynamic programming approach
Video retargeting is the task of fitting standard-sized video into arbitrary screen. A compelling retargeting attempts to preserve most visual information of original video as wel...
Zheng Yuan, Taoran Lu, Yu Huang, Dapeng Wu, Heathe...
ICTAI
2010
IEEE
15 years 4 months ago
An Effective Multilevel Memetic Algorithm for Balanced Graph Partitioning
The balanced graph partitioning consists in dividing the vertices of an undirected graph into a given number of subsets of approximately equal size, such that the number of edges c...
Una Benlic, Jin-Kao Hao
« Prev « First page 1247 / 1396 Last » Next »