12438 search results - page 388 / 2488 » The Magic of a Number System |
191
click to vote
FORTE
2008
15 years 9 months ago
2008
Abstract. Several recent works have considered parameterized verification, i.e. automatic verification of systems consisting of an arbitrary number of finite-state processes organi...
195
click to vote
IADIS
2008
15 years 9 months ago
2008
After an oil spill it is essential to know if an area is going to be affected by the oil slicks generated. The system presented here forecasts the presence or not of oil slicks in...
200
click to vote
MSV
2007
15 years 9 months ago
2007
Abstract - In this paper, an essential oil extraction system with self-refilling system is modeled based on inputoutput data collected from a dedicated acquisition system. The ARMA...
195
click to vote
CIIT
2004
15 years 9 months ago
2004
( )1 The most common metric for evaluating the performance of an optical communications system is the symbol error probability (SEP) versus the received optical power. In circuit-l...
219
click to vote
CIC
2006
15 years 9 months ago
2006
Structured peer to peer (P2P) systems organize a large number of nodes in well-defined structures and provide efficient and scalable search functionalities. They have been used as ...