Sciweavers

2777 search results - page 81 / 556
» Example centric programming
Sort
View
AUTOMATICA
2008
126views more  AUTOMATICA 2008»
13 years 10 months ago
Local stability analysis using simulations and sum-of-squares programming
The problem of computing bounds on the region-of-attraction for systems with polynomial vector fields is considered. Invariant subsets of the region-of-attraction are characterize...
Ufuk Topcu, Andrew K. Packard, Peter Seiler
JUCS
2006
93views more  JUCS 2006»
13 years 10 months ago
Generic Process Algebra: A Programming Challenge
: Emerging interaction paradigms, such as service-oriented computing, and new technological challenges, such as exogenous component coordination, suggest new roles and application ...
Paula R. Ribeiro, Marco Antonio Barbosa, Luí...
CMPB
2000
69views more  CMPB 2000»
13 years 9 months ago
Microcomputer program for automated action potential waveform analysis
A program for action potential waveform analysis based on a PC compatible computer is described. Single or averaged action potentials are analyzed by obtaining its first derivativ...
Enrique Soto, Emilio Salceda, Ricardo Cruz, Aida O...
BIRTHDAY
2010
Springer
13 years 9 months ago
Second-Order Programs with Preconditions
Abstract. In the implementation of procedures, developers often assume that the input satisfies certain properties; for example, binary search assumes the array to be sorted. Such...
Markus Aderhold
PAMI
2011
13 years 5 months ago
Dynamic Programming and Graph Algorithms in Computer Vision
Optimization is a powerful paradigm for expressing and solving problems in a wide range of areas, and has been successfully applied to many vision problems. Discrete optimization ...
Pedro F. Felzenszwalb, Ramin Zabih