5326 search results - page 310 / 1066 » On what we can ensure |
206
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...
178
click to vote
ICCV
2003
IEEE
16 years 8 months ago
2003
IEEE
There are many challenges associated with the integration of synthetic and real imagery. One particularly difficult problem is the automatic extraction of salient parameters of na...
146
click to vote
FORMATS
2005
Springer
16 years 6 days ago
2005
Springer
We consider real-time games where the goal consists, for each player, in maximizing the average amount of reward he or she receives per time unit. We consider zero-sum rewards, so ...
144
click to vote
LREC
2010
15 years 8 months ago
2010
We investigate which distributional properties should be present in a tagset by examining different mappings of various current part-ofspeech tagsets, looking at English, German, ...
166
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract--We investigate the relay selection problem in a network where users are able to collaborate with each other; decode and forward the messages of each other along with thei...