4861 search results - page 737 / 973 » Parsimonious concept modeling |
162
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
The concept of universal designated verifier signatures was introduced by Steinfeld, Bull, Wang and Pieprzyk at Asiacrypt 2003. These signatures can be used as standard publicly ve...
184
click to vote
ENTCS
2008
15 years 6 months ago
2008
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...
178
click to vote
FSS
2008
15 years 6 months ago
2008
Fuzzy associative memories (FAMs) can be used as a powerful tool for implementing fuzzy rule-based systems. The insight that FAMs are closely related to mathematical morphology (M...
143
click to vote
CN
2006
15 years 6 months ago
2006
By combining the Open Kernel Environment, a Click-like software model known as Corral and basic concepts of active networking, we allow third-party code to control the code organi...
144
click to vote
COR
2006
15 years 6 months ago
2006
Starting from a given one-shot game played by a finite population of agents living in flatline, a circular or constrained grid structured by the classical definitions of neighborh...