10916 search results - page 192 / 2184 » On Constructive Connectives and Systems |
350
click to vote
ICCSA
2011
Springer
14 years 10 months ago
2011
Springer
This paper describes an ongoing implementation of an open source library dealing with parametric representation of dynamic geometry constructions. We show how some current issues i...
183
click to vote
CCS
2009
ACM
16 years 7 months ago
2009
ACM
Denial of Service (DoS) attacks are serious threats for network societies. For dealing with DoS attacks, Jakobsson and Juels first proposed the notion of useful client puzzles (UC...
184
click to vote
CVPR
2010
IEEE
16 years 7 days ago
2010
IEEE
Recent work suggests that the human ear varies significantly between different subjects and can be used for identification. In principle, therefore, using ears in addition to the f...
162
Voted
ISWC
2002
IEEE
15 years 11 months ago
2002
IEEE
The representation of physical space has traditionally focused on keyphrases such as “Computer Science Building” or “Physics Department” that help us in describing and nav...
192
click to vote
CODES
1998
IEEE
15 years 11 months ago
1998
IEEE
Systems in the domain of high-performance video signal processing are becoming more and more programmable. We suggest an approach to design such systems that involves measuring, v...