Sciweavers

1692 search results - page 186 / 339
» Applying Science Models for Search
Sort
View
MFCS
2009
Springer
14 years 1 months ago
An Improved Approximation Bound for Spanning Star Forest and Color Saving
We present a simple algorithm for the maximum spanning star forest problem. We take advantage of the fact that the problem is a special case of complementary set cover and we adapt...
Stavros Athanassopoulos, Ioannis Caragiannis, Chri...
ESWS
2007
Springer
14 years 29 days ago
Towards Novel Techniques for Reasoning in Expressive Description Logics based on Binary Decision Diagrams
We propose to design and study new techniques for description logic (DL) reasoning based on a prominent data structure that has been applied very successfully in various domains in...
Uwe Keller
GECCO
2008
Springer
104views Optimization» more  GECCO 2008»
13 years 10 months ago
Protein-protein functional association prediction using genetic programming
Determining if a group of proteins are functionally associated among themselves is an open problem in molecular biology. Within our long term goal of applying Genetic Programming ...
Beatriz García, Ricardo Aler, Agapito Ledez...
JOI
2008
129views more  JOI 2008»
13 years 9 months ago
Global scientific production on GIS research by bibliometric analysis from 1997 to 2006
A bibliometric analysis was applied in this work to evaluate global scientific production of geographic information system (GIS) papers from 1997 to 2006 in any journal of all the...
Yangge Tian, Cheng Wen, Song Hong
BIRTHDAY
2005
Springer
14 years 2 months ago
Natural Language Proof Explanation
Abstract. State-of-the-art proof presentation systems suffer from several deficiencies. First, they simply present the proofs without motivating why the proof is done as it is do...
Armin Fiedler