656 search results - page 89 / 132 » A Formalization of Transition P Systems |
111
Voted
UAI
2004
15 years 1 months ago
2004
Modeling dynamical systems, both for control purposes and to make predictions about their behavior, is ubiquitous in science and engineering. Predictive state representations (PSR...
100
click to vote
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
— As content delivery to wireless devices becomes faster and scalable, it is likely that mobile commerce will constitute a significant portion of digital commerce. In markets, b...
94
Voted
CSL
2005
Springer
15 years 6 months ago
2005
Springer
The proof system G∗ 0 of the quantified propositional calculus corresponds to NC1 , and G∗ 1 corresponds to P, but no formula-based proof system that corresponds log space rea...
80
Voted
ATAL
2005
Springer
2005
Springer
The DEFACTO system for human omnipresence to coordinate agent teams: the future of disaster response
15 years 5 months ago
Enabling interactions of agent-teams and humans is a critical area of research, with encouraging progress in the past few years. However, previous work suffers from three key lim...
109
Voted
SICHERHEIT
2008
15 years 1 months ago
2008
We specify a system for authentication and key derivation using genetic fingerprints which prevents the recovery of biometric information from data stored for verification. We pre...