2661 search results - page 305 / 533 » Model Checking Performability Properties |
PR
2000
15 years 14 days 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...
138
Voted
TNN
2010
14 years 7 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...
108
click to vote
IPPS
2003
IEEE
15 years 6 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...
116
click to vote
MSWIM
2006
ACM
15 years 6 months 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...
139
Voted
MOBIQUITOUS
2007
IEEE
15 years 7 months 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...