Sciweavers

3069 search results - page 119 / 614
» Issues with the construct of quality
Sort
View
93
Voted
EVOW
2010
Springer
15 years 7 months ago
Evolutionary Algorithm for Generation of Entertaining Shinro Logic Puzzles
A Shinro puzzle is a type of deductive reasoning puzzle that originated in Japanese periodicals. To solve the puzzle, one must locate twelve hidden stones on an 8x8 grid using only...
David Oranchak
FDL
2007
IEEE
15 years 7 months ago
APDL: A Processor Description Language For Design Space Exploration of Embedded Processors
—This paper presents Anahita Processor Description Language (APDL) for generation of retargetable processor design tool sets. The emphasis is on the applicability of the generate...
Nima Honarmand, Hasan Sohofi, Maghsoud Abbaspour, ...
ICCV
1999
IEEE
15 years 5 months ago
Subpixel-Precise Extraction of Watersheds
An approach to extract watersheds and watercourses, as well as their corresponding valleys and hills, from images with subpixel precision is proposed. The critical points of the t...
Carsten Steger
112
Voted
ER
2008
Springer
110views Database» more  ER 2008»
15 years 2 months ago
What's in a Relationship: An Ontological Analysis
In a series of publications, we have proposed a foundational system of ontological categories which has been successfully used to evaluate and improve the quality of conceptual mod...
Giancarlo Guizzardi, Gerd Wagner
111
Voted
FM
2008
Springer
184views Formal Methods» more  FM 2008»
15 years 2 months ago
Safe and Reliable Metro Platform Screen Doors Control/Command Systems
In this article we would like to present some recent applications of the B formal method to the development of safety critical system. These SIL3/SIL41 compliant systems have their...
Thierry Lecomte