2477 search results - page 327 / 496 » Approximate extended formulations |
107
click to vote
CSE
2009
IEEE
15 years 11 months ago
2009
IEEE
Interobserver reliability and reproducibility are well known problems in experimental research within the social and behavioural sciences. We propose the use of formal techniques ...
112
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
—Negative Bias Temperature Instability (NBTI) is a significant reliability concern for nanoscale CMOS circuits. Its effects on circuit timing can be especially pronounced for ci...
128
click to vote
SIBGRAPI
2009
IEEE
15 years 11 months ago
2009
IEEE
—Network cameras, extensively used in video surveillance, often allow pan-tilt-zoom functionality and are also subject to wind load and mount vibrations, thus causing video frame...
135
click to vote
ICRA
2009
IEEE
15 years 11 months ago
2009
IEEE
— The asymmetry of a bevel-tip needle results in the needle naturally bending when it is inserted into soft tissue. In this study we present a mechanics-based model that calculat...
154
click to vote
TLCA
2009
Springer
15 years 10 months ago
2009
Springer
In this paper we solve an open problem posed in our previous work on asynchronous subtyping [12], extending the method to higher-order session communication and functions. Our syst...