1886 search results - page 172 / 378 » Verifying and validating a simulation model |
106
Voted
ASPDAC
2007
ACM
15 years 7 months ago
2007
ACM
ound in BMC by Combining Constant Propagation and Abstraction Roy Armoni, Limor Fix1 , Ranan Fraer1 , Tamir Heyman1,3 , Moshe Vardi2 , Yakir Vizel1 , Yael Zbar1 1 Logic and Validat...
142
Voted
AAAI
2006
15 years 5 months ago
2006
Information integration systems combine data from multiple heterogeneous Web services to answer complex user queries, provided a user has semantically modeled the service first. T...
95
Voted
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
A novel control mechanism was recently introduced based on Extended Markov Tracking (EMT) [9, 10]. In this paper, we present a study of its response to multiple interacting contro...
138
Voted
AINA
2008
IEEE
15 years 10 months ago
2008
IEEE
An ad hoc network is a highly dynamic routing network cooperated by a set of wireless mobile nodes without any assistance of centralized access point. ARIADNE is a well-known secu...
131
Voted
VTC
2008
IEEE
15 years 10 months ago
2008
IEEE
—In this paper, a novel blind channel estimation algorithm for a multiple input multiple output (MIMO) system is described. This algorithm is easier to implement than the previou...