813 search results - page 19 / 163 » desire 2010 |
ICFEM
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Verifying that a parameterized system satisfies certain desired properties amounts to verifying an infinite family of the system instances. This problem is undecidable ...
ICWSM
2010
13 years 9 months ago
2010
The Web has become an important information repository; often it is the first source a person turns to with an information need. One common way to search the Web is with a search ...
LREC
2010
13 years 9 months ago
2010
Domain specific entity recognition often relies on domain-specific knowledge to improve system performance. However, such knowledge often suffers from limited domain portability a...
SIGGRAPH
2010
ACM
13 years 7 months ago
2010
ACM
We present a system to automatically construct high resolution images from an unordered set of low resolution photos. It consists of an automatic preprocessing step to establish c...
FEGC
2010
13 years 7 months ago
2010
Abstract. Having effective and efficient methods to get access to desired images is essential nowadays with the huge amount of digital images. This paper presents an analogy betwee...