2659 search results - page 91 / 532 » Do we mean the same |
140
click to vote
C5
2007
IEEE
15 years 10 months ago
2007
IEEE
3D virtual environments like Croquet need to be attractive in order to be visited and used. Their attractiveness depends on the level of vitality that the user is able to experien...
116
click to vote
ENTCS
2000
15 years 4 months ago
2000
Incompleteness results for behavioral logics are investigated. We show that there is a basic finite behavioral specification for which the behavioral satisfaction problem is not r...
142
click to vote
ICASSP
2010
IEEE
15 years 1 months ago
2010
IEEE
Intra prediction is one effective method to remove the spatial redundancies in intra frame coding. Better intra prediction will result in the residual with less energy, which will...
125
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
We develop a new model to analyse the strategic behaviour of buyers and sellers in market mechanisms. In particular, we wish to understand how the different strategies they adopt ...
108
click to vote
IWPC
2003
IEEE
15 years 9 months ago
2003
IEEE
When computing program slices on all variables in a system, we observed that many of these slices are the same. This leads to the question: Are we looking at software clones? We d...