3582 search results - page 414 / 717 » Designing games with a purpose |
195
Voted
CRITIS
2006
15 years 10 months ago
2006
Ad hoc and sensor networks highly depend on the distributed cooperation among network nodes. Trust establishment frameworks provide the means for representing, evaluating, maintain...
190
click to vote
DAGM
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present an approach to non-rigid object tracking designed to handle textured objects in crowded scenes captured by non-static cameras. For this purpose, groups of low-...
142
click to vote
ECTEL
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. There are specific sectors of the economy that can benefit from satellite-based tele-education. Areas, such as maritime and agriculture, share common needs for both broad...
190
click to vote
FM
2006
Springer
15 years 10 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...
161
click to vote
APN
2003
Springer
15 years 10 months ago
2003
Springer
The Petri Net Markup Language (PNML) is an XML-based interchange format for Petri nets. In order to support different versions of Petri nets and, in particular, future versions of ...