1497 search results - page 161 / 300 » Extended static checking |
124
Voted
JUCS
2008
15 years 24 days 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...
92
Voted
FUIN
2010
14 years 11 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...
117
Voted
ISVC
2010
Springer
14 years 11 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...
134
Voted
TDSC
2011
14 years 7 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...
222
click to vote
FGR
2011
IEEE
14 years 4 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...