1301 search results - page 135 / 261 » Specifications via Realizability |
132
Voted
ECP
1997
Springer
15 years 7 months ago
1997
Springer
In 1969 Cordell Green presented his seminal description of planning as theorem proving with the situation calculus. The most pleasing feature of Green's account was the negli...
110
click to vote
ASPDAC
2007
ACM
15 years 7 months ago
2007
ACM
- This paper presents a simulation tool targeted specifically at bang-bang type phase locked loop systems. The aim of this simulator is to quickly and accurately predict important ...
139
click to vote
ICASSP
2009
IEEE
15 years 7 months ago
2009
IEEE
This paper presents a novel social media summarization framework. Summarizing media created and shared in large scale online social networks unfolds challenging research problems....
268
Voted
C5
2004
IEEE
15 years 7 months ago
2004
IEEE
We describe a design for a collaborative Virtual Learning Environment (VLE) to support massively multi-user and multi-institutional learning communities. This architecture extends...
141
click to vote
DASC
2006
IEEE
15 years 7 months ago
2006
IEEE
Run-time monitoring is a powerful approach for dynamically detecting faults or malicious activity of software systems. However, there are often two obstacles to the implementation...