Sciweavers

1002 search results - page 151 / 201
» Test-Driven Development of Model Transformations
Sort
View
CVPR
2005
IEEE
13 years 9 months ago
A Two-Stage Level Set Evolution Scheme for Man-Made Objects Detection in Aerial Images
A novel two-stage level set evolution method for detecting man-made objects in aerial images is described. The method is based on a modified Mumford-Shah model and it uses a two-s...
Guo Cao, Xin Yang, Zhihong Mao
DICTA
2007
13 years 9 months ago
Attitude Estimation for a Fixed-Wing Aircraft Using Horizon Detection and Optical Flow
We develop a method for estimating the flight critical parameters of pitch angle, roll angle and the three body rates using horizon detection and optical flow. We achieve this t...
Damien Dusha, Wageeh Boles, Rodney Walker
ECIS
2004
13 years 9 months ago
Stray dogs and wild cats tracking down information systems in government?
This paper explores the body of e-government research surfaced during 1998-2003 in Web of Science and ProQuest. The search identified 158 scholarly papers. Using a classification ...
Kim Viborg Andersen, Helle Zinner Henriksen, Amar ...
IANDC
2008
131views more  IANDC 2008»
13 years 7 months ago
Termination of just/fair computations in term rewriting
The main goal of this paper is to apply rewriting termination technology --enjoying a quite mature set of termination results and tools-- to the problem of proving automatically t...
Salvador Lucas, José Meseguer
ALIFE
2004
13 years 7 months ago
Autopoiesis and Cognition in the Game of Life
Maturana and Varela's notion of autopoiesis has the potential to transform the conceptual foundation of biology as well as the cognitive, behavioral, and brain sciences. In or...
Randall D. Beer