Sciweavers

11436 search results - page 296 / 2288
» Modeling Real Reasoning
Sort
View
RTAS
1997
IEEE
15 years 8 months ago
QoS Negotiation in Real-Time Systems and Its Application to Automated Flight Control
ÐReal-time middleware services must guarantee predictable performance under specified load and failure conditions, and ensure graceful degradation when these conditions are violat...
Tarek F. Abdelzaher, Ella M. Atkins, Kang G. Shin
FORTE
1990
15 years 5 months ago
A LOTOS Interpreter for Simulating Real-Time Behaviour
A prototype Basic LOTOS interpreter, augmented for modelling real-time systems, is described. Primitive actions are treated as time-consuming, with separate start and end points, ...
Colin J. Fidge
137
Voted
PAMI
2006
182views more  PAMI 2006»
15 years 3 months ago
Multicue HMM-UKF for Real-Time Contour Tracking
We propose an HMM model for contour detection based on multiple visual cues in spatial domain and improve it by joint probabilistic matching to reduce background clutter. It is fu...
Yunqiang Chen, Yong Rui, Thomas S. Huang
168
Voted
CL
2008
Springer
15 years 4 months ago
Automatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
Pao-Ann Hsiung, Shang-Wei Lin
GIS
2010
ACM
15 years 2 months ago
Bridge detection in grid terrains and improved drainage enforcement
Bare Earth gridded digital elevation models (DEMs) are often used to extract hydrologic features such as rivers and watersheds. DEMs must be conditioned by removing spurious sinks...
Ryan Carlson, Andrew Danner