Sciweavers

12487 search results - page 254 / 2498
» Graspable Work Modeling
Sort
View
LPAR
2005
Springer
15 years 10 months ago
Model Checking Abstract State Machines with Answer Set Programming
ECKING ABSTRACT STATE MACHINES WITH ANSWER SET PROGRAMMING by Calvin Kai Fan Tang B.Sc., Simon Fraser University, 2003 a thesis submitted in partial fulfillment of the requirements...
Calvin Kai Fan Tang, Eugenia Ternovska
ITS
2004
Springer
137views Multimedia» more  ITS 2004»
15 years 9 months ago
Integrating Intelligent Agents, User Models, and Automatic Content Categorization in a Virtual Environment
This work is devoted to lattice-based information representation of correlations among delivery criteria in transport logistics. The number of delivery criteria, their ranking acc...
Cássia Trojahn dos Santos, Fernando Santos ...
163
Voted
PPSN
2004
Springer
15 years 9 months ago
Coupling of Evolution and Learning to Optimize a Hierarchical Object Recognition Model
Abstract. A key problem in designing artificial neural networks for visual object recognition tasks is the proper choice of the network architecture. Evolutionary optimization met...
Georg Schneider, Heiko Wersing, Bernhard Sendhoff,...
FATES
2003
Springer
15 years 9 months ago
Towards a Tool Environment for Model-Based Testing with AsmL
We present work on a tool environment for model-based testing with the Abstract State Machine Language (AsmL). Our environment supports semiautomatic parameter generation, call seq...
Michael Barnett, Wolfgang Grieskamp, Lev Nachmanso...
ECOOP
2000
Springer
15 years 8 months ago
UML-F: A Modeling Language for Object-Oriented Frameworks
The paper presents the essential features of a new member of the UML language family that supports working with object-oriented frameworks. This UML extension, called UML-F, allows...
Marcus Fontoura, Wolfgang Pree, Bernhard Rumpe