6274 search results - page 816 / 1255 » Proofs, Programs, Processes |
178
click to vote
FOSSACS
2005
Springer
16 years 11 days ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
170
Voted
PATAT
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Within the field of software agents, there has been increasing interest in automating the process of calendar scheduling in recent years. Calendar (or meeting) schedulin...
184
click to vote
COMPGEOM
2003
ACM
16 years 2 days ago
2003
ACM
Docking is the process by which two or several molecules form a complex. Docking involves the geometry of the molecular surfaces, as well as chemical and energetical consideration...
195
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
The firmware of an electronic voting machine is typically treated as a “trusted” component of the system. Consequently, it is misconstrued to be vulnerable only to an insider...
179
click to vote
FOCS
1999
IEEE
15 years 11 months ago
1999
IEEE
We show that the minimum distance of a linear code is not approximable to within any constant factor in random polynomial time (RP), unless nondeterministic polynomial time (NP) eq...