7121 search results - page 1350 / 1425 » Modeling Signs Using Functional Data Analysis |
132
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Bargaining networks model the behavior of a set of players who need to reach pairwise agreements for making profits. Nash bargaining solutions in this context correspond to soluti...
133
click to vote
CCS
2010
ACM
14 years 10 months ago
2010
ACM
Cryptographic systems and protocols are the core of many Internet security procedures (such as SSL, SSH, IPSEC, DNSSEC, secure mail, etc.). At the heart of all cryptographic funct...
117
click to vote
POPL
2012
ACM
13 years 9 months ago
2012
ACM
Interpolation is an important technique in verification and static analysis of programs. In particular, interpolants extracted from proofs of various properties are used in invar...
127
click to vote
JISBD
2000
15 years 2 months ago
2000
A Natural Language Interface for Databases allows users of multimedia kiosks to formulate natural language questions. User questions are first translated into a logic language and ...
122
click to vote
CGF
2006
15 years 1 months ago
2006
Spline curves are useful in a variety of geometric modeling and graphics applications and covering problems abound in practical settings. This work defines a class of covering dec...