9626 search results - page 1276 / 1926 » Invariant Based Programming |
215
click to vote
CIVR
2005
Springer
16 years 25 days ago
2005
Springer
Abstract. In this paper, we present a framework for segmenting the news programs into different story topics. The proposed method utilizes both visual and text information of the v...
178
click to vote
COCO
2005
Springer
16 years 25 days ago
2005
Springer
We continue the study of noncommutative polynomial identity testing initiated by Raz and Shpilka and present efficient algorithms for the following problems in the noncommutative...
199
click to vote
EDCC
2005
Springer
16 years 24 days ago
2005
Springer
Abstract. The A3M project aimed to define basic building blocks of a middleware meeting both dependability and real-time requirements for a wide range of space systems and applicat...
184
Voted
FSTTCS
2005
Springer
16 years 24 days ago
2005
Springer
We introduce asynchronous dynamic pushdown networks (ADPN), a new model for multithreaded programs in which pushdown systems communicate via shared memory. ADPN generalizes both CP...
208
Voted
GPCE
2005
Springer
16 years 24 days ago
2005
Springer
One of the themes in building reusable and maintainable software is identifying similarities and designing generic solutions to unify similarity patterns. In this paper, we analyze...