3742 search results - page 510 / 749 » On the Use of Formal Techniques for Validation |
174
click to vote
CN
2004
15 years 6 months ago
2004
Energy is the most critical resource in the life of a wireless sensor node. Therefore, its usage must be optimized to maximize the network life. It is known that for higher path l...
183
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—The queueing performance of a (secondary) cognitive user is investigated for a hierarchical network where there are N independent and identical primary users. Each prima...
181
click to vote
PPDP
2010
Springer
15 years 5 months ago
2010
Springer
Database query optimizers rely on data statistics in selecting query execution plans. Similar query optimization techniques are desirable for deductive databases and, to make this...
187
click to vote
ICDM
2010
IEEE
15 years 4 months ago
2010
IEEE
An important problem that arises during the data mining process in many new emerging application domains is mining data with temporal dependencies. One such application domain is a...
198
click to vote
AISS
2010
15 years 4 months ago
2010
This paper presents the artificial intelligence techniques to control a proton exchange membrane fuel cell system process using particularly a methodology of dynamic neural networ...