4418 search results - page 337 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
144
click to vote
ICDCSW
2007
IEEE
16 years 1 months ago
2007
IEEE
Today a common goal in the area of email security is to provide protection from a wide variety of threats by being more predictive instead of reactive and to identify legitimate m...
191
click to vote
FORMATS
2009
Springer
15 years 10 months ago
2009
Springer
Probabilistic timed automata (PTAs) are used for formal modelling and verification of systems with probabilistic, nondeterministic and real-time behaviour. For non-probabilistic ti...
183
click to vote
CICLING
2007
Springer
16 years 28 days ago
2007
Springer
Although the literature contains reports of very high accuracy figures for the recognition of named entities in text, there are still some named entity phenomena that remain probl...
178
click to vote
IADIS
2004
15 years 8 months ago
2004
Adaptive navigation systems are tools intended to assist users when they search the Web. Thus, they often have to know the users' current information needs (IN). However, the...
160
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
We plan to evaluate different kinds of augmented feedback (tactile, video, sound) for learning basic dance choreographies. Therefore we develop a dance training system based on mo...