Sciweavers

3719 search results - page 206 / 744
» order 2010
Sort
View
FSS
2010
102views more  FSS 2010»
15 years 1 months ago
Measuring conflict and agreement between two prioritized knowledge bases in possibilistic logic
In this paper we investigate the relationship between two prioritized knowledge bases by measuring both the conflict and the agreement between them. First of all, a quantity of co...
Guilin Qi, Weiru Liu, David A. Bell
CAD
2010
Springer
15 years 4 months ago
3D ball skinning using PDEs for generation of smooth tubular surfaces
We present an approach to compute a smooth, interpolating skin of an ordered set of 3D balls. By construction, the skin is constrained to be C1 continuous, and for each ball, it i...
Gregory G. Slabaugh, Brian Whited, Jarek Rossignac...
OOPSLA
2010
Springer
15 years 2 months ago
A simple inductive synthesis methodology and its applications
Given a high-level specification and a low-level programming language, our goal is to automatically synthesize an efficient program that meets the specification. In this paper,...
Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Moo...
INTERNET
2010
283views more  INTERNET 2010»
15 years 2 months ago
Querying the Data Web: The MashQL Approach
 We propose a query formulation language, called MashQL for querying and mashing up structured data on the web. The novelty of  MashQL is that it does not require...
Mustafa Jarrar, Marios D. Dikaiakos
SDM
2010
SIAM
283views Data Mining» more  SDM 2010»
15 years 5 months ago
Cascading Spatio-temporal Pattern Discovery: A Summary of Results
Given a collection of Boolean spatio-temporal(ST) event types, the cascading spatio-temporal pattern (CSTP) discovery process finds partially ordered subsets of event-types whose ...
Pradeep Mohan, Shashi Shekhar, James A. Shine, Jam...