5544 search results - page 932 / 1109 » Three Inadequate Models |
144
Voted
SEKE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract--Property specification is still one of the most challenging tasks for transference of software verification technology like model checking. The use of patterns has been p...
132
click to vote
SOCIALCOM
2010
15 years 1 months ago
2010
It is a widely held belief among designers of social tagging systems that tag clouds represent a useful tool for navigation. This is evident in, for example, the increasing number ...
182
Voted
WKDD
2010
CPS
15 years 1 months ago
2010
CPS
In physics, structure of glass and ion trajectories are essentially based on statistical analysis of data acquired through experimental measurement and computer simulation [1, 2]. ...
117
Voted
ACL
2009
15 years 1 months ago
2009
This paper revisits the pivot language approach for machine translation. First, we investigate three different methods for pivot translation. Then we employ a hybrid method combin...
155
Voted
CIARP
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Region-based approaches have been proposed to computerassisted colorization problem, typically using shape similarity and topology relations between regions. Given a colo...