1497 search results - page 161 / 300 » Extended static checking |
141
Voted
JUCS
2008
15 years 2 months ago
2008
Abstract: Nowadays, in the markets of broadband access services, traditional contracts are of "static" type. Customers buy the right to use a specific amount of resources...
104
Voted
FUIN
2010
15 years 1 months ago
2010
Abstract. Current methods for solving games embody a form of “procedural rationality” that invites logical analysis in its own right. This paper is a brief case study of Backwa...
132
Voted
ISVC
2010
Springer
15 years 1 months ago
2010
Springer
We extend our previous work on the exploration of static metabolic networks to evolving, and therefore dynamic, pathways. We apply our visualization software to data from a simulat...
152
Voted
TDSC
2011
14 years 9 months ago
2011
— Most of existing privacy preserving techniques, such as k-anonymity methods, are designed for static data sets. As such, they cannot be applied to streaming data which are cont...
248
Voted
FGR
2011
IEEE
14 years 6 months ago
2011
IEEE
— Recently developed appearance descriptors offer the opportunity for efficient and robust facial expression recognition. In this paper we investigate the merits of the family o...