Sciweavers

225 search results - page 32 / 45
» New Estimation Procedures for PLS Path Modelling
Sort
View
LICS
2007
IEEE
15 years 4 months ago
First-Order and Temporal Logics for Nested Words
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure ...
Rajeev Alur, Marcelo Arenas, Pablo Barceló,...
NIPS
2007
14 years 11 months ago
Neural characterization in partially observed populations of spiking neurons
Point process encoding models provide powerful statistical methods for understanding the responses of neurons to sensory stimuli. Although these models have been successfully appl...
Jonathan Pillow, Peter E. Latham
DATE
2000
IEEE
88views Hardware» more  DATE 2000»
15 years 2 months ago
Free MDD-Based Software Optimization Techniques for Embedded Systems
Embedded systems make a heavy use of software to perform Real-Time embedded control tasks. Embedded software is characterized by a relatively long lifetime and by tight cost, perf...
Chunghee Kim, Luciano Lavagno, Alberto L. Sangiova...
ICIP
2006
IEEE
15 years 11 months ago
Max-Min Central Vein Detection in Retinal Fundus Images
This paper describes a new framework for the automated tracking of the central retinal vein in retinal images. The procedure first computes a binary image of the retinal vasculatur...
Hind Azegrouz, Emanuele Trucco
CDC
2008
IEEE
127views Control Systems» more  CDC 2008»
15 years 4 months ago
Prediction of vertical motions for landing operations of UAVs
— This paper outlines a novel and feasible procedure to predict vertical motions for safe landing of unmanned aerial vehicles (UAVs) during maritime operations. In the presence o...
Xilin Yang, Hemanshu Roy Pota, Matthew Garratt, Va...