9405 search results - page 1756 / 1881 » Computing a Model of Set Theory |
135
click to vote
MM
2005
ACM
15 years 9 months ago
2005
ACM
In this demonstration, we show a novel system, Video Booklet, which enables nature personal video browsing and searching. Firstly representative thumbnails of video segments are s...
127
click to vote
ATVA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be ...
124
click to vote
CTRSA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We consider a statistical database in which a trusted administrator introduces noise to the query responses with the goal of maintaining privacy of individual database en...
112
click to vote
ICN
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper considers the primary and secondary path generation problem in traffic engineering. We first present a standard MILP model. Since its size and integrality gap...
154
click to vote
NOSSDAV
2005
Springer
15 years 9 months ago
2005
Springer
Service overlay networks have recently attracted tremendous interests. In this paper, we propose a new integrated framework for specifying services composed of service components ...