5170 search results - page 752 / 1034 » A Document-Oriented Approach to the Development of Knowledge... |
216
click to vote
FM
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...
200
click to vote
IWEC
2010
15 years 8 months ago
2010
In many computer games narrative is a core component with the game centering on an unfolding, interactive storyline which both motivates and is driven by the game-play. Analyzing n...
160
click to vote
LREC
2008
15 years 8 months ago
2008
We report on an on-going research project aimed at increasing the range of translation equivalents which can be automatically discovered by MT systems. The methodology is based on...
189
click to vote
DGO
2003
15 years 8 months ago
2003
This paper presents an overview of the motivation for, and the use of time-series data mining in, a Geospatial Decision Support System (GDSS). Our approach is based on a combinati...
197
click to vote
TMC
2010
15 years 5 months ago
2010
—The key feature of many emerging pervasive computing applications is to proactively provide services to mobile individuals. One major challenge in providing users with proactive...