2012 search results - page 381 / 403 » CORAL - Control, Relations and Logic |
153
click to vote
VIS
2009
IEEE
16 years 3 months ago
2009
IEEE
In this paper we describe a novel method to integrate interactive visual analysis and machine learning to support the insight generation of the user. The suggested approach combine...
111
click to vote
DAC
2009
ACM
16 years 3 months ago
2009
ACM
Traditionally, synchronous languages, such as Esterel, have been compiled into hardware, where timing analysis is relatively easy. When compiled into software ? e.g., into sequent...
126
click to vote
SIGSOFT
2006
ACM
16 years 2 months ago
2006
ACM
We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and f...
227
click to vote
ICDT
2009
ACM
16 years 2 months ago
2009
ACM
We formalize and study business process systems that are centered around "business artifacts", or simply "artifacts". This approach focuses on data records, kn...
108
click to vote
WWW
2003
ACM
16 years 2 months ago
2003
ACM
Mobile devices have already been widely used to access the Web. However, because most available web pages are designed for desktop PC in mind, it is inconvenient to browse these l...