Sciweavers

2539 search results - page 248 / 508
» Debugging Method Names
Sort
View
ICEIS
2005
IEEE
15 years 8 months ago
Process Oriented Discovery of Business Partners
: Emerging technologies and industrial standards in the field of Web services enable a much faster and easier cooperation of distributed partners. With the increasing number of en...
Axel Martens
ICMCS
2005
IEEE
79views Multimedia» more  ICMCS 2005»
15 years 8 months ago
Supervised semi-definite embedding for image manifolds
Semi-definite Embedding (SDE) has been a recently proposed to maximize the sum of pair wise squared distances between outputs while the input data and outputs are locally isometri...
Benyu Zhang, Jun Yan, Ning Liu, QianSheng Cheng, Z...
ISCAS
2005
IEEE
179views Hardware» more  ISCAS 2005»
15 years 8 months ago
Robust stabilization of control systems using piecewise linear Lyapunov functions and evolutionary algorithm
— Piecewise linear Lyapunov functions are used to design control gain matrices so that closed systems are robust stable and attractive regions are expanded as large as possible i...
K. Tagawa, Y. Ohta
MOBIQUITOUS
2005
IEEE
15 years 8 months ago
Temporal Transcoding for Mobile Video Communication
Third generation mobile communication systems will provide more advanced types of interactive and distribution services, and video is one of the most prominent applications for mu...
Maurizio A. Bonuccelli, Francesca Lonetti, Frances...
CALCO
2005
Springer
85views Mathematics» more  CALCO 2005»
15 years 8 months ago
Using Proofs by Coinduction to Find "Traditional" Proofs
In the specific situation of formal reasoning concerned with “regular expression equivalence” we address instances of more general questions such as: how can coinductive argum...
Clemens Grabmayer