192 search results - page 2 / 39 » A New Means for Investigating 3-Manifolds |
AAIM
2006
Springer
13 years 9 months ago
2006
Springer
We investigate LP-polytopes generated by mean payoff games and their properties, including the existence of tight feasible solutions of bounded size. We suggest a new associated al...
CMS
2006
13 years 6 months ago
2006
Abstract. Although privacy is often seen as an essential right for internet users, the provision of anonymity can also provide the ultimate cover for malicious users. Privacy Enhan...
ICPR
2010
IEEE
13 years 3 months ago
2010
IEEE
Although many methods of refining initialization have appeared, the sensitivity of K-Means to initial centers is still an obstacle in applications. In this paper, we investigate a...
ISVLSI
2007
IEEE
13 years 11 months ago
2007
IEEE
Formal verification has become an important step in circuit and system design. A prominent technique is Bounded Model Checking (BMC) which is widely used in industry. In BMC it i...
INTERSPEECH
2010
13 years 3 days ago
2010
This paper investigates how rising intonation affects the interpretation of cue words in dialogue. Both cue words and rising intonation express a range of speaker attitudes like u...