1064 search results - page 39 / 213 » Disjoint Systems (Extended Abstract) |
FORMATS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In this paper we describe AMT, a tool for monitoring temporal properties of continuous signals. We first introduce STL/PSL, a specification formalism based on the indus...
WISE
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. This paper describes MEAT (Memory of Experiments for the Analysis of Transcriptomes), a project aiming at supporting biologists working on DNA microarrays. We provide met...
IANDC
2006
13 years 7 months ago
2006
It is well-known that stable models (as dI-domains, qualitative domains and coherence are not fully abstract for the language PCF. This fact is related to the existence of stable ...
HUC
2010
Springer
13 years 7 months ago
2010
Springer
Cleanly - Trashducation Urban System. In: CHI '10 Extended Abstracts on Human Factors in Computing Systems. ACM, Atlanta (GA), USA 2010. Alireza Sahami Shirazi, Ari-Heikki Sar...
ICDE
2005
IEEE
14 years 1 months ago
2005
IEEE
AbstractAbstractAbstract In this paper, an implementation scheme for relational tables is proposed. Our scheme employs extendible chunked arrays. We are proposing an implementation...