Sciweavers

4270 search results - page 525 / 854
» Implementation of interactive poster
Sort
View
ENTCS
2008
83views more  ENTCS 2008»
15 years 6 months ago
Executable Specifications for Real-Time Distributed Systems
One of the challenges in designing distributed, embedded systems is the paucity of formal, executable specification notations that provide support for both real-time and asynchron...
Arnab Ray, Rance Cleaveland
COMSIS
2006
129views more  COMSIS 2006»
15 years 6 months ago
Constraint-Based Knowledge Representation for Individualized Instruction
Traditional knowledge representations were developed to encode complete, explicit and executable programs, a goal that makes them less than ideal for representing the incomplete an...
Stellan Ohlsson, Antonija Mitrovic
DAM
2006
97views more  DAM 2006»
15 years 6 months ago
Entity authentication schemes using braid word reduction
Abstract. Artin's braid groups currently provide a promising background for cryptographical applications, since the first cryptosystems using braids were introduced in [2, 3, ...
Hervé Sibert, Patrick Dehornoy, Marc Giraul...
CGF
2007
133views more  CGF 2007»
15 years 6 months ago
Pedestrian Reactive Navigation for Crowd Simulation: a Predictive Approach
This paper addresses the problem of virtual pedestrian autonomous navigation for crowd simulation. It describes a method for solving interactions between pedestrians and avoiding ...
Sébastien Paris, Julien Pettré, St&e...
175
Voted
IVS
2008
138views more  IVS 2008»
15 years 6 months ago
Extending the attribute explorer to support professional team-sport analysis
Advances in interactive systems and the ability to manage increasing amounts of high-dimensional data provide new opportunities in numerous domains. Information visualization tech...
Pär-Anders Albinsson, Dennis Andersson