479 search results - page 74 / 96 » Putting personas to work |
106
click to vote
ICDAR
2007
IEEE
15 years 3 months ago
2007
IEEE
Unveiled in late 2004, Google Book Search is an ambitious program to make all the world's books discoverable online. The sheer scale of the problem brings a number of unique ...
123
click to vote
FLOPS
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Assertion-based contracts provide a powerful mechanism for stating invariants at module boundaries and for enforcing them uniformly. In 2002, Findler and Felleisen showed...
RTA
1995
Springer
15 years 3 months ago
1995
Springer
We use computational systems to express a completion with constraints procedure that gives priority to simpliļ¬cations. Computational systems are rewrite theories enriched by stra...
DIMEA
2008
15 years 1 months ago
2008
Motion2Sound is a program that translates motion properties into sound ones. This is done by using a motion detection system(Open Cv) and one can have as an input a live web-cam o...
133
click to vote
EMSOFT
2008
Springer
15 years 27 days ago
2008
Springer
Dynamic Voltage Scaling (DVS) and Dynamic Power Management (DPM) are two popular techniques commonly employed to save energy in real-time embedded systems. DVS policies aim at red...