Sciweavers

1585 search results - page 168 / 317
» Creating a Knowledge Base of Biological Research Papers
Sort
View
AMOST
2007
ACM
15 years 10 months ago
Using LTL rewriting to improve the performance of model-checker based test-case generation
Model-checkers have recently been suggested for automated software test-case generation. Several works have presented methods that create efficient test-suites using model-checker...
Gordon Fraser, Franz Wotawa
CSEE
2009
Springer
16 years 1 months ago
Generic Skills in Software Engineering Master Thesis Projects: Towards Rubric-Based Evaluation
There has been much recent interest in how to help students in higher education develop their generic skills, especially since this is a focus of the Bologna process that aims to ...
Robert Feldt, Martin Höst, Frank Lüders
ACIVS
2008
Springer
16 years 25 days ago
Foliage Recognition Based on Local Edge Information
In many real-world object recognition applications, texture plays a very important role. Much research has gone into texture-based segmentation methods, which focus on finding the...
David Van Hamme, Peter Veelaert, Wilfried Philips,...
GECCO
2007
Springer
228views Optimization» more  GECCO 2007»
16 years 19 days ago
Collective behavior based hierarchical XCS
This paper attempts to extend the XCS research by analyzing the impact of information exchange between XCS agents on classifier performance. Two types of information are exchange...
Matthew Gershoff, Sonia Schulenburg
GEOS
2007
Springer
16 years 19 days ago
A Location and Action-Based Model for Route Descriptions
Abstract. Representing human spatial knowledge has long been a challenging research area. The objective of this paper is to model a route description of human navigation where verb...
David Brosset, Christophe Claramunt, Eric Saux