3116 search results - page 564 / 624 » Positively dependent types |
ACISP
2003
Springer
15 years 1 months ago
2003
Springer
In some practical circumstances, the ability of a signer should be restricted. In group signature schemes, a group member may be allowed to generate signatures up to a certain numb...
SIGGRAPH
1995
ACM
15 years 1 months ago
1995
ACM
We present a new, interactive tool called Intelligent Scissors which we use for image segmentation and composition. Fully automated segmentation is an unsolved problem, while manu...
ACMDIS
2008
ACM
14 years 11 months ago
2008
ACM
Throughout many of the different types of Web searches people perform, the primary tasks are to first craft a query that effectively captures their information needs, and then eva...
DIMVA
2006
14 years 11 months ago
2006
Abstract. The Internet, and in particular the world-wide web, have become part of the everyday life of millions of people. With the growth of the web, the demand for on-line servic...
ACL
2000
14 years 11 months ago
2000
e, the system labels constituents with either abstract semantic roles such as AGENT or PATIENT, or more domain-specific semantic roles such as SPEAKER, MESSAGE, and TOPIC. The syst...