1759 search results - page 49 / 352 » A guide to membrane computing |
196
click to vote
EMMCVPR
2011
Springer
14 years 5 months ago
2011
Springer
The ability to generate intermediate frames between two given images in a video sequence is an essential task for video restoration and video post-processing. In addition, restorat...
142
click to vote
HPDC
2006
IEEE
15 years 11 months ago
2006
IEEE
Trace-driven simulation is an important technique used in the evaluation of computer architecture innovations. However using it for studying parallel computers and applications is...
155
click to vote
CAV
2000
Springer
15 years 9 months ago
2000
Springer
xample-Guided Abstraction Refinement for Symbolic Model Checking EDMUND CLARKE YUAN LU Carnegie Mellon University, Pittsburgh, Pennsylvania Broadcom Co., San Jose, California ORNA ...
249
click to vote
Book
"This book is designed to provide teaching materials to any instructor who wants to use Practical C++ Programming in his classroom. The materials contained in this book contai...
165
click to vote
RECOMB
2005
Springer
16 years 5 months ago
2005
Springer
Abstract. With ever increasing amount of available data on protein-protein interaction (PPI) networks and research revealing that these networks evolve at a modular level, discover...