3172 search results - page 226 / 635 » Combining Specification Techniques for Processes, Data and T... |
137
click to vote
VTS
1997
IEEE
15 years 10 months ago
1997
IEEE
We address the problem of rectifying an incorrect combinational circuit against a given specification. Based on the symbolic BDD techniques, we consider the rectification process,...
159
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Cell volume determination plays a pivotal role in the investigation of the biophysical mechanisms underlying various cellular processes. Whereas light microscopy in pr...
166
click to vote
SAC
2004
ACM
16 years 1 days ago
2004
ACM
In the analysis of multidimensional data sets questions involving detection of extremal events, correlations, patterns and trends play an increasingly important role in a variety ...
298
click to vote
GIS
2007
ACM
16 years 7 months ago
2007
ACM
Handling streams of positional updates from numerous moving objects has become a challenging task for many monitoring applications. Several algorithms have been recently proposed ...
187
click to vote
MOBISYS
2004
ACM
16 years 6 months ago
2004
ACM
Wireless data broadcast has received a lot of attention from industries and academia in recent years. Access efficiency and energy conservation are two critical performance concer...