276 search results - page 31 / 56 » Decomposition tool for event-B |
VLDB
1998
ACM
15 years 1 months ago
1998
ACM
We present a framework for designing, in a declarative and flexible way, efficient migration programs and an undergoing implementation of a migration tool called RelOO whose targe...
ICRA
1994
IEEE
15 years 1 months ago
1994
IEEE
Precise teleoperation of deztrous robotic hands by hand masters requires an accurate human hand model. A kinematic model of a human index finger is developed as an example for hum...
ASAP
2004
IEEE
15 years 1 months ago
2004
IEEE
Biosequence similarity search is an important application in modern molecular biology. Search algorithms aim to identify sets of sequences whose extensional similarity suggests a c...
EDBTW
2006
Springer
15 years 1 months ago
2006
Springer
The wavelet decomposition is a proven tool for constructing concise synopses of massive data sets and rapid changing data streams, which can be used to obtain fast approximate, wit...
111
click to vote
BMEI
2008
IEEE
14 years 11 months ago
2008
IEEE
Keys are character based tools for plant identification. They are based on the decomposition of the plant into very small, atomistic parts. These parts are described with the tech...