4418 search results - page 417 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
207
click to vote
BIRTHDAY
2007
Springer
15 years 11 months ago
2007
Springer
We present a verification methodology for cooperating traffic agents covering analysis of cooperation strategies, realization of strategies through control, and implementation of c...
196
Voted
ICDAR
2005
IEEE
16 years 14 days ago
2005
IEEE
On-line handwriting recognition has continued to persist as a popular research field while pen computing applications are widely used in recent years. This paper proposes a novel ...
159
click to vote
ACMDIS
2004
ACM
16 years 9 days ago
2004
ACM
Speech-based applications commonly come with web-based or printed manuals. Alternatively, the dialogue can be designed so that users should be able to start using the application ...
177
Voted
CI
2007
15 years 6 months ago
2007
In this paper we present a computational approach to developing effective training systems for virtual simulation environments. In particular, we focus on a Naval simulation syste...
209
Voted
MDM
2007
Springer
16 years 1 months ago
2007
Springer
A general consensus is that the proliferation of locationaware devices will result in a diffusion of location-based services. Privacy preservation is a challenging research issue ...