Sciweavers

16616 search results - page 288 / 3324
» Extending Extended Vacuity
Sort
View
CSCWD
2009
Springer
15 years 11 months ago
A collaborative knowledge construction system design for massive knowledge resources
Aiming at deficiencies of existing knowledge resources management systems, we designed a new collaborative knowledge construction system for massive knowledge resources. By collab...
Qinghua Zheng, Zhaohui Wu, Lu Jiang, Jun Liu
ESWS
2006
Springer
15 years 10 months ago
Towards a Complete OWL Ontology Benchmark
Abstract. Aiming to build a complete benchmark for better evaluation of existing ontology systems, we extend the well-known Lehigh University Benchmark in terms of inference and sc...
Li Ma, Yang Yang, Zhaoming Qiu, Guo Tong Xie, Yue ...
ASP
2003
Springer
15 years 10 months ago
Answer Set Programming with Templates
The work aims at extending Answer Set Programming (ASP) with the possibility of quickly introducing new predefined constructs and to deal with compound data structures: we show ho...
Giovambattista Ianni, Giuseppe Ielpa, Adriana Piet...
CSCW
2008
ACM
15 years 8 months ago
SPARCS: exploring sharing suggestions to enhance family connectedness
Staying in touch with extended family members can be a challenge in part because of the time and effort required, even with the help of current technologies. To explore the value ...
A. J. Bernheim Brush, Kori M. Inkpen, Kimberly Tee
SODA
2008
ACM
75views Algorithms» more  SODA 2008»
15 years 8 months ago
Strongly polynomial and fully combinatorial algorithms for bisubmodular function minimization
Bisubmodular functions are a natural "directed", or "signed", extension of submodular functions with several applications. Recently Fujishige and Iwata showed ...
S. Thomas McCormick, Satoru Fujishige