2486 search results - page 484 / 498 » A Type System for Computationally Secure Information Flow |
MKM
2007
Springer
14 years 2 months ago
2007
Springer
To be effective and useful, math search systems must not only maximize precision and recall, but also present the query hits in a form that makes it easy for the user to identify...
MM
2005
ACM
14 years 2 months ago
2005
ACM
This paper presents a novel object-based video coding framework for videos obtained from a static camera. As opposed to most existing methods, the proposed method does not require...
SIGECOM
2005
ACM
14 years 2 months ago
2005
ACM
In a previously reported user study, we found that users were able to perform decision tradeoff tasks more efficiently and commit considerably fewer errors with the example critiq...
HICSS
2003
IEEE
14 years 1 months ago
2003
IEEE
Although distributed Group Support Systems (GSS) are getting popular, there are still some limitations. One of the limitations is few substitutions for face-to-face (FTF) interact...
CONSTRAINTS
2010
13 years 6 months ago
2010
MiniZinc arose as a response to the extended discussion at CP2006 of the need for a standard modelling language for CP. This is a challenging problem, and we believe MiniZinc makes...