1802 search results - page 313 / 361 » Complexity Theory for Operators in Analysis |
193
Voted
RTA
2005
Springer
16 years 29 days ago
2005
Springer
Proofs of equalities may be built from assumptions using proof rules for reflexivity, symmetry, and transitivity. Reflexivity is an axiom proving x=x for any x; symmetry is a 1-p...
199
click to vote
VSTTE
2005
Springer
16 years 29 days ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
191
click to vote
HICSS
2003
IEEE
16 years 23 days ago
2003
IEEE
Basically, instrumental conditioning is learning through consequences: Behavior that produces positive results (high “instrumental response”) is reinforced, and that which pro...
265
Voted
SIGMETRICS
2010
ACM
16 years 9 days ago
2010
ACM
A new generation of content delivery networks for live streaming, video on demand, and software updates takes advantage of a peer-to-peer architecture to reduce their operating co...
217
click to vote
SACMAT
2009
ACM
16 years 4 days ago
2009
ACM
The role-based access control (RBAC) model has proven to be cost effective to reduce the complexity and costs of access permission management. To maximize the advantages offered...