572 search results - page 67 / 115 » Test Generation for Intelligent Networks Using Model Checkin... |
149
click to vote
IAJIT
2010
15 years 2 months ago
2010
: This paper presents an algorithm, which is a hybrid-computing algorithm in representing solid model. The proposed algorithm contains two steps namely reconstruction and represent...
139
click to vote
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
— We introduce galsC, a language designed for programming event-driven embedded systems such as sensor networks. galsC implements the TinyGALS programming model. At the local lev...
115
click to vote
SIGIR
2002
ACM
15 years 4 months ago
2002
ACM
We develop a method for predicting query performance by computing the relative entropy between a query language model and the corresponding collection language model. The resultin...
146
click to vote
AAAI
2011
14 years 4 months ago
2011
The automated processing of multiple seismic signals to detect and localize seismic events is a central tool in both geophysics and nuclear treaty verification. This paper report...
114
click to vote
UC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. An amoeboid organism, Physarum, exhibits rich spatiotemporal oscillatory behavior and various computational capabilities. Previously, the authors created a recurrent neur...