2564 search results - page 251 / 513 » Witness sets of projections |
167
click to vote
WIA
2009
Springer
16 years 21 days ago
2009
Springer
FAdo is an ongoing project which aims to provide a set of tools for symbolic manipulation of formal languages. To allow highlevel programming with complex data structures, easy pro...
144
Voted
DBPL
2009
Springer
16 years 20 days ago
2009
Springer
Abstract. We propose a framework in which query sizes can be estimated from arbitrary statistical assertions on the data. In its most general form, a statistical assertion states t...
164
click to vote
ICMI
2009
Springer
16 years 20 days ago
2009
Springer
The AMIDA Automatic Content Linking Device (ACLD) monitors a conversation using automatic speech recognition (ASR), and uses the detected words to retrieve documents that are of p...
150
Voted
ICSOC
2009
Springer
16 years 20 days ago
2009
Springer
In this demonstration we introduce Gelee, our online platform for the hosted specification and cooperative execution of lifecycles of artifacts of any kind. With Gelee we aim at fi...
193
click to vote
AINA
2008
IEEE
16 years 17 days ago
2008
IEEE
Applications that rely on the publish-subscribe model (such as those dedicated to news or event distribution) require a communication model whereby information can flow towards a...