Sciweavers

3162 search results - page 556 / 633
» Transformations for semi-continuous data
Sort
View
90
Voted
ISSRE
2002
IEEE
15 years 5 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...
111
Voted
ISSS
2002
IEEE
148views Hardware» more  ISSS 2002»
15 years 5 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 5 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
104
Voted
CDC
2009
IEEE
132views Control Systems» more  CDC 2009»
15 years 5 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
127
Voted
DAGM
2001
Springer
15 years 5 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