3680 search results - page 161 / 736 » cases 2010 |
142
click to vote
FORTE
2010
15 years 8 months ago
2010
Abstract. Covariant-contravariant simulation and conformance simulation are two generalizations of the simple notion of simulation which aim at capturing the fact that it is not al...
156
click to vote
FORTE
2010
15 years 8 months ago
2010
Abstract. In this paper, we propose the notion of partial time abstraction for timed process algebras, which introduces the possibility to abstract away parts of the timing of syst...
181
click to vote
IWEC
2010
15 years 8 months ago
2010
Mobile games are based on the physical movement of players in a game world, combining real world with virtual dimensions. As the real world defies control, the magic circle, the bo...
193
click to vote
LREC
2010
15 years 8 months ago
2010
We investigate the impact of input data scale in corpus-based learning using a study style of Zipf's law. In our research, Chinese word segmentation is chosen as the study ca...
149
click to vote
LREC
2010
15 years 8 months ago
2010
We present our ongoing work on language technology-based e-science in the humanities, social sciences and education, with a focus on text-based research in the historical sciences...