2661 search results - page 305 / 533 » Model Checking Performability Properties |
159
click to vote
PR
2000
15 years 6 months ago
2000
This paper describes an active-camera real-time system for tracking, shape description, and classi"cation of the human face and mouth expressions using only a PC or equivalen...
215
click to vote
TNN
2010
15 years 1 months ago
2010
Abstract--Recurrent neural networks have become a prominent tool for optimizations including linear or nonlinear variational inequalities and programming, due to its regular mathem...
192
click to vote
IPPS
2003
IEEE
15 years 12 months ago
2003
IEEE
Today, in many practical E-Commerce systems, the real stored data usually are short strings, such as names, addresses, or other information. Searching data within these short stri...
179
click to vote
MSWIM
2006
ACM
16 years 16 days ago
2006
ACM
In this paper, we define a model of an ad hoc routing protocol, i.e. the OLSR (Optimized Link-State Routing) protocol. This model handles novel constraints related to such networ...
208
click to vote
MOBIQUITOUS
2007
IEEE
16 years 26 days ago
2007
IEEE
Client side caching of location dependent queries is an important technique for improving performance of location-based services. Most of the existing research in this area has fo...