Sciweavers

10899 search results - page 681 / 2180
» The GP Programming System
Sort
View
CIVR
2004
Springer
118views Image Analysis» more  CIVR 2004»
16 years 24 days ago
Task-Based User Evaluation of Content-Based Image Database Browsing Systems
Abstract. This paper presents a task-based user evaluation of two contentbased image database browsing systems. The performance of the two systems is compared to that of a commerci...
Timo Ojala, Markus Koskela, Esa Matinmikko, Mika R...
173
Voted
CDC
2009
IEEE
138views Control Systems» more  CDC 2009»
16 years 3 days ago
Synthesis of a global asymptotic stabilizing feedback law for a system satisfying two different sector conditions
— Global asymptotic stabilization for a class of nonlinear systems is addressed. The dynamics of these systems are composed of a linear part to which is added some nonlinearities...
Vincent Andrieu, Christophe Prieur, Sophie Tarbour...
CSFW
2004
IEEE
15 years 11 months ago
By Reason and Authority: A System for Authorization of Proof-Carrying Code
We present a system, BLF, that combines an authorization logic based on the Binder language with a logical framework, LF, able to express semantic properties of programs. BLF is a...
Nathan Whitehead, Martín Abadi, George C. N...
IWEC
2004
15 years 8 months ago
Game-Driven Intelligent Tutoring Systems
With the increase of computer capabilities, many learning systems have become complex simulators with advanced interfaces close to game quality. However, many games features have n...
Marco Antonio Gómez-Martín, Pedro Pa...
SCS
2001
15 years 8 months ago
Improved Acquisition Processes for Safety-Critical Systems in the Australian Department of Defence
This paper describes recently developed policy and procedures for safety management during system acquisition within the Australian government's Defence Materiel Organisation...
Peter A. Lindsay