1216 search results - page 91 / 244 » Hybrid type checking |
116
Voted
ACL
1994
15 years 5 months ago
1994
This paper presents our implemented computational model for interpreting and generating indirect answers to Yes-No questions. Its main features are 1) a discourse-plan-based appro...
144
Voted
BMCBI
2004
15 years 3 months ago
2004
Background: Microarrays have emerged as the preferred platform for high throughput gene expression analysis. Cross-hybridization among genes with high sequence similarities can be...
134
click to vote
HYBRID
2000
Springer
15 years 7 months ago
2000
Springer
In this paper, we formulate the problem of characterizing the stability of a piecewise affine (PWA) system as a verification problem. The basic idea is to take the whole Rn as the ...
154
Voted
ITC
2003
IEEE
15 years 9 months ago
2003
IEEE
As technology evolves into the deep sub-micron era, signal integrity problems are growing into a major challenge. An important source of signal integrity problems is the crosstalk...
105
Voted
WWW
2004
ACM
16 years 4 months ago
2004
ACM
The importance of service composition has been widely recognized in the Internet research community due to its high flexibility in allowing development of customized applications....