2478 search results - page 285 / 496 » Universality in two dimensions |
166
click to vote
SAT
2007
Springer
16 years 21 days ago
2007
Springer
SAT solvers are often challenged with very hard problems that remain unsolved after hours of CPU time. The research community meets the challenge in two ways: (1) by improving the ...
158
click to vote
WETICE
2006
IEEE
16 years 17 days ago
2006
IEEE
Verification of the security of software artifacts is a challenging task. An integrated approach that combines verification techniques can increase the confidence in the security ...
150
click to vote
TSD
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. The prosodic specification of an utterance to be spoken by a Textto-Speech synthesis system can be devised in break indices, pitch accents and boundary tones. In particu...
151
click to vote
COMPGEOM
2004
ACM
16 years 6 hour ago
2004
ACM
We propose a generic computational framework for maintaining a discrete geometric structure defined by a collection of static and mobile objects. We assume that the mobile object...
168
click to vote
CIVR
2004
Springer
15 years 12 months ago
2004
Springer
The aim of the SCHEMA Network of Excellence is to bring together a critical mass of universities, research centers, industrial partners and end users, in order to design a referenc...