22128 search results - page 4292 / 4426 » Research in Structural Computing |
131
Voted
ECCC
2007
15 years 3 months ago
2007
Program checking, program self-correcting and program selftesting were pioneered by [Blum and Kannan] and [Blum, Luby and Rubinfeld] in the mid eighties as a new way to gain conï¬...
127
click to vote
ENTCS
2007
15 years 3 months ago
2007
There have been several research works that analyze and optimize programs using temporal logic. However, no evaluation of optimization time or execution time of these implementati...
100
click to vote
JSC
2006
15 years 3 months ago
2006
We show the following two universality statements on the entry-ranges and Markov bases of spaces of 3-way contingency tables with fixed 2-margins: (1) For any finite set D of nonn...
145
Voted
MMS
2008
15 years 3 months ago
2008
Due to the increasing deployment of conversational real-time applications like VoIP and videoconferencing, the Internet is today facing new challenges. Low end-to-end delay is a vi...
159
Voted
MMS
2006
15 years 3 months ago
2006
In content-based image retrieval (CBIR), relevant images are identified based on their similarities to query images. Most CBIR algorithms are hindered by the semantic gap between ...