3283 search results - page 585 / 657 » Designing Agent Based Travel Support System |
MODELS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
COMPSAC
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper presents behavior contracts as a new assertion mechanism and a tool that uses such contracts to support the testing of Object-Oriented (OO) systems. A behavior contract...
HICSS
2006
IEEE
15 years 3 months ago
2006
IEEE
In the era of knowledge economy, more and more people view online communities of practice (CoPs) as wellspring of precious knowledge. Notably, many researchers support the notion ...
MM
2006
ACM
15 years 3 months ago
2006
ACM
Navigation through large multimedia collections that include videos and images still remains a hard problem. In this paper, we introduce a novel method to visualize and navigate t...
84
Voted
CRV
2005
IEEE
15 years 3 months ago
2005
IEEE
We present a proof of concept system to represent and reason about hockey play. The system takes as input player motion trajectory data tracked from game video and supported by kn...