3005 search results - page 46 / 601 » Logical Information Systems: from Taxonomies to Logics |
ICIP
2006
IEEE
16 years 1 months ago
2006
IEEE
Multicolor fluorescence in-situ hybridization (M-FISH) technique provides color karyotyping that allows simultaneous analysis of numerical and structural abnormalities of whole hu...
109
click to vote
ENTCS
2007
14 years 11 months ago
2007
We introduce a hybrid variant of a dynamic logic with continuous state transitions along differential equations, and we present a sequent calculus for this extended hybrid dynami...
102
click to vote
DAC
2002
ACM
16 years 24 days ago
2002
ACM
This paper addresses the problem of automatic generation of implementation software from high-level functional specifications in the context of embedded system on chip designs. So...
170
click to vote
SIGMOD
2006
ACM
15 years 12 months ago
2006
ACM
"Wow. I fell asleep listening to SOA music, and when I woke up, I couldn't remember where I'd put my data. Now what?" Has this happened to you? With the new pu...
100
click to vote
CLIMA
2004
15 years 1 months ago
2004
Communication plays a fundamental role in multi-agents systems. One of the main issues in the design of agent interaction protocols is the verification that a given protocol implem...