2573 search results - page 475 / 515 » Combinations of Modal Logics |
150
click to vote
IDEAS
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract. We consider the class of applications that manage time series (TS) and propose a data model and a query language that let these applications manipulate TS data sets at a ...
140
click to vote
CNL
2009
15 years 1 months ago
2009
Semantic wikis support the collaborative creation, editing and utilization of semantically-enriched content, and they may therefore be wellsuited to addressing problems associated ...
146
Voted
DSN
2009
IEEE
15 years 1 months ago
2009
IEEE
Preserving the availability and integrity of networked computing systems in the face of fast-spreading intrusions requires advances not only in detection algorithms, but also in a...
150
click to vote
ICCAD
2009
IEEE
15 years 1 months ago
2009
IEEE
The lack of good "correlation" between pre-silicon simulated delays and measured delays on silicon (silicon data) has spurred efforts on so-called silicon debug. The ide...
161
click to vote
IJACTAICIT
2010
15 years 1 months ago
2010
Human superiority over computers in identifying natural objects like clouds, water, grass etc. comes from two capabilities: the capability to maintain a growing knowledge base per...