3082 search results - page 541 / 617 » Deviation Analysis: A New Use of Model Checking |
136
click to vote
DILS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Ecologists spend considerable effort integrating heterogeneous data for statistical analyses and simulations, for example, to run and test predictive models. Our research...
114
click to vote
LREC
2008
15 years 1 months ago
2008
In the field of Natural Language Processing, in order to work out a thematic representation system of general knowledge, methods relying on thesaurus have been used for about twen...
110
click to vote
ISCAPDCS
2004
15 years 1 months ago
2004
Location based services in mobile environments have been recognized as a challenging problem that calls for new service models and dynamic strategies. The problem becomes even har...
133
click to vote
NETWORKING
2000
15 years 1 months ago
2000
Abstract. The paper deals with tree-structured point-to-multipoint networks, where users from infinite user populations at the leaf nodes subscribe to a variety of channels, offere...
117
click to vote
JNW
2008
14 years 12 months ago
2008
Next-Generation Wireless Networks (NGWNs) present an all-IP-based architecture integrating existing cellular networks with Wireless Local Area Networks (WLANs), Wireless Metropolit...