Sciweavers

2777 search results - page 81 / 556
» Example centric programming
Sort
View
AUTOMATICA
2008
126views more  AUTOMATICA 2008»
15 years 21 days 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»
15 years 16 days 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í...
84
Voted
CMPB
2000
69views more  CMPB 2000»
15 years 12 days 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...
120
Voted
BIRTHDAY
2010
Springer
14 years 11 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
167
Voted
PAMI
2011
14 years 7 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