2455 search results - page 262 / 491 » Graphical abstract help |
126
click to vote
LCPC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We have designed and implemented an interprocedural algorithm to analyze symbolic value ranges that can be assumed by variables at any given point in a program. Our algor...
121
Voted
MLMI
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We aim to create a model of emotional reactive virtual humans. This model will help to define realistic behavior for virtual characters based on emotions and events in t...
117
click to vote
OTM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper we present a novel approach to design and implement applications that provide location-aware services. We show how a clear separation of design concerns (e....
110
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. State machines, represented by statecharts or statechart diagrams, are an important formalism for behavioural modelling. According to the research literature, the most po...
157
click to vote
AP2PC
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Peer-to-peer (P2P) architectures exhibit attractive properties for a wide range of real world systems. As a result they are increasingly being applied in the design of ap...