7167 search results - page 277 / 1434 » A Technique for Invariant Generation |
247
click to vote
FMSD
2007
15 years 7 months ago
2007
Symbolic techniques based on Binary Decision Diagrams (BDDs) are widely employed for reasoning about temporal properties of hardware circuits and synchronous controllers. However, ...
276
click to vote
NAACL
2010
15 years 5 months ago
2010
In this paper we present an opinion summarization technique in spoken dialogue systems. Opinion mining has been well studied for years, but very few have considered its applicatio...
222
click to vote
NETGAMES
2005
ACM
16 years 29 days ago
2005
ACM
We study the ‘background traffic’ resulting from tens of thousands of networked first person shooter (FPS) clients searching for servers on which to play. Networked, multiplay...
153
click to vote
ASPDAC
2006
ACM
16 years 1 months ago
2006
ACM
— We present an efficient method for automatically extracting unified amplitude/phase macromodels of arbitrary oscillators from their SPICE-level circuit descriptions. Such com...
217
click to vote
BMVC
2010
15 years 5 months ago
2010
Kernel methods yield state-of-the-art performance in certain applications such as image classification and object detection. However, large scale problems require machine learning...