Sciweavers

1679 search results - page 49 / 336
» Scatter Search - Wellsprings and Challenges
Sort
View
FASE
2009
Springer
14 years 1 months ago
Mining API Error-Handling Specifications from Source Code
Abstract. API error-handling specifications are often not documented, necessitating automated specification mining. Automated mining of error-handling specifications is challenging...
Mithun Acharya, Tao Xie
CAV
2004
Springer
108views Hardware» more  CAV 2004»
14 years 1 months ago
Functional Dependency for Verification Reduction
Abstract. The existence of functional dependency among the state variables of a state transition system was identified as a common cause of inefficient BDD representation in formal...
Jie-Hong Roland Jiang, Robert K. Brayton
EDUTAINMENT
2008
Springer
13 years 11 months ago
Reconstruction of Tree Crown Shape from Scanned Data
Reconstruction of a real tree from scattered scanned points is a new challenge in virtual reality. Although many progresses are made on main branch structures and overall shape of ...
Chao Zhu, Xiaopeng Zhang, Bao-Gang Hu, Marc Jaeger
JODS
2008
152views Data Mining» more  JODS 2008»
13 years 10 months ago
Deploying Semantic Web Services-Based Applications in the e-Government Domain
Joining up services in e-Government usually implies governmental agencies acting in concert without a central control regime. This requires to the sharing scattered and heterogeneo...
Alessio Gugliotta, John Domingue, Liliana Cabral, ...
JFR
2006
242views more  JFR 2006»
13 years 10 months ago
Natural terrain classification using three-dimensional ladar data for ground robot mobility
In recent years, much progress has been made in outdoor autonomous navigation. However, safe navigation is still a daunting challenge in terrain containing vegetation. In this pap...
Jean-François Lalonde, Nicolas Vandapel, Da...