Sciweavers

3162 search results - page 556 / 633
» Transformations for semi-continuous data
Sort
View
128
Voted
ISSRE
2002
IEEE
15 years 10 months ago
Mutation of Java Objects
Fault insertion based techniqueshave been used for measuring test adequacy and testability of programs. Mutation analysis inserts faults into a program with the goal of creating m...
Roger T. Alexander, James M. Bieman, Sudipto Ghosh...
ISSS
2002
IEEE
148views Hardware» more  ISSS 2002»
15 years 10 months ago
A Case Study of Hardware and Software Synthesis in ForSyDe
ForSyDe (FORmal SYstem DEsign) is a methodology which addresses the design of SoC applications which may contain control as well as data flow dominated parts. Starting with a for...
Ingo Sander, Axel Jantsch, Zhonghai Lu
SSDBM
2002
IEEE
100views Database» more  SSDBM 2002»
15 years 10 months ago
Similarity Searching for Multi-Attribute Sequences
We investigate the problem of searching similar multiattribute time sequences. Such sequences arise naturally in a number of medical, financial, video, weather forecast, and stoc...
Tamer Kahveci, Ambuj K. Singh, Aliekber Gürel
CDC
2009
IEEE
132views Control Systems» more  CDC 2009»
15 years 9 months ago
Q-learning and Pontryagin's Minimum Principle
Abstract— Q-learning is a technique used to compute an optimal policy for a controlled Markov chain based on observations of the system controlled using a non-optimal policy. It ...
Prashant G. Mehta, Sean P. Meyn
170
Voted
DAGM
2001
Springer
15 years 9 months ago
3D Model Retrieval with Spherical Harmonics and Moments
We consider 3D object retrieval in which a polygonal mesh serves as a query and similar objects are retrieved from a collection of 3D objects. Algorithms proceed first by a normal...
Dietmar Saupe, Dejan V. Vranic