Sciweavers

1679 search results - page 49 / 336
» Scatter Search - Wellsprings and Challenges
Sort
View
FASE
2009
Springer
15 years 5 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»
15 years 5 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
15 years 3 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»
15 years 1 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»
15 years 1 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...