11016 search results - page 1957 / 2204 » Cloud Computing for Science |
190
click to vote
ACTA
2010
15 years 6 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...
180
click to vote
AI
2010
Springer
15 years 6 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...
194
click to vote
AR
2007
15 years 6 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...
201
click to vote
AUTOMATICA
2008
15 years 6 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...
170
click to vote
CCR
2010
15 years 6 months ago
2010
Online advertising is currently the richest source of revenue for many Internet giants. The increased number of online businesses, specialized websites and modern profiling techni...