24095 search results - page 433 / 4819 » Researchers and Development - Young Researches |
127
click to vote
IADIS
2003
15 years 8 months ago
2003
The effects of the privatization and commercialization of Internet on world trade are often debated but few rigorous conclusions emerge. Such conclusions have not been based on in...
195
click to vote
CAV
2008
Springer
15 years 9 months ago
2008
Springer
This is the first system description of the Barcelogic SMT solver, which implements all techniques that our group has been developing over the last four years as well as state-of-t...
121
click to vote
HCI
2001
15 years 8 months ago
2001
This position paper describes and discusses PALIO1 , a new project recently funded by the European Commission's Information Society Technologies (IST) Programme. PALIO builds...
156
click to vote
PRIS
2001
15 years 8 months ago
2001
The Centre for Digital Video Processing at Dublin City University conducts concentrated research and development in the area of digital video management. The current stage of devel...
195
click to vote
ANOR
2006
15 years 7 months ago
2006
This paper presents two contributions: A set of routines that manipulate instances of stochastic programming problems in order to make them more amenable for different solution ap...