3239 search results - page 404 / 648 » A Logical Process Calculus |
155
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
In many contexts, one is confronted with the problem of extracting information from large amounts of different types soft data (e.g., text) and hard data (from e.g., physics-based...
118
Voted
ICCAD
2007
IEEE
16 years 22 days ago
2007
IEEE
— In ultra-deep sub-micron technologies, modeling waveform shapes correctly is essential for accurate timing and noise analysis. Due to process and environmental variations, ther...
138
Voted
WILF
2007
Springer
15 years 10 months ago
2007
Springer
In the resolution of group decision making problems where the consensus process can not be held face to face by the experts it is usually difficult for them to be able to identify ...
141
click to vote
INEX
2004
Springer
15 years 9 months ago
2004
Springer
This paper discusses our participation in INEX using the TIJAH XML-IR system. We have enriched the TIJAH system, which follows a standard layered database architecture, with severa...
109
click to vote
CONCUR
2003
Springer
15 years 9 months ago
2003
Springer
traction for HOPLA Mikkel Nygaard1 and Glynn Winskel2 1 BRICS , University of Aarhus 2 Computer Laboratory, University of Cambridge A fully abstract denotational semantics for the ...