11345 search results - page 2056 / 2269 » Foundations of Computer Science |
155
click to vote
DGO
2010
15 years 3 months ago
2010
Having developed Metavid.org, a site that archives video footage of the U.S. Congressional proceedings, we build upon the platform to enable peer review of expert testimony within...
148
click to vote
ACTA
2010
15 years 3 months ago
2010
The IEEE standardized Property Specification Language, PSL for short, extends the well-known linear-time temporal logic LTL with so-called semi-extended regular expressions. PSL an...
127
click to vote
AI
2010
Springer
15 years 3 months ago
2010
Springer
There are relatively few proposals for inconsistency measures for propositional belief bases. However inconsistency measures are potentially as important as information measures f...
151
click to vote
AR
2007
15 years 3 months ago
2007
—Researchers in robotics and artificial intelligence have often looked at biology as a source of inspiration for solving their problems. From the opposite perspective, neuroscie...
150
click to vote
AUTOMATICA
2008
15 years 3 months ago
2008
Control systems are usually modeled by differential equations describing how physical phenomena can be influenced by certain control parameters or inputs. Although these models ar...