12478 search results - page 1675 / 2496 » Secure Interaction Design |
176
click to vote
KI
2007
Springer
16 years 1 months ago
2007
Springer
A EU-funded project GeoPKDD develops methods and tools for analysis of massive collections of movement data, which describe changes of spatial positions of discrete entities. Withi...
233
click to vote
ICALT
2006
IEEE
16 years 1 months ago
2006
IEEE
Feedback is information that is provided to a user to inform him/her about the result of his/her action and to motivate him/her to further interact with the system. In web-based l...
213
click to vote
HASKELL
2006
ACM
16 years 1 months ago
2006
ACM
We introduce the new, improved version of the Haskell Equational Reasoning Assistant, which consists of an Ajax application for rewriting Haskell fragments in their context, and a...
177
click to vote
HT
2006
ACM
16 years 1 months ago
2006
ACM
Web 2.0 is the popular name of a new generation of Web applications, sites and companies that emphasis openness, community and interaction. Examples include technologies such as B...
190
click to vote
ARITH
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper presents a set of tools for mechanical reasoning of numerical bounds using interval arithmetic. The tools implement two techniques for reducing decorrelation: interval ...