1967 search results - page 206 / 394 » The Case for Determinism in Database Systems |
184
click to vote
TACAS
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...
142
click to vote
SCOPES
2004
Springer
15 years 12 months ago
2004
Springer
Digital signal processing applications are implemented in embedded systems with fixed-point arithmetic to minimize the cost and the power consumption. To reduce the application ti...
176
click to vote
ICDAR
2003
IEEE
15 years 12 months ago
2003
IEEE
The analysis of handwritten documents from the viewpoint of determining their authorship has great bearing on the criminal justice system. In many cases, only a limited amount of ...
167
click to vote
UM
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The generation of formal poetry involves both complex creativity usually exercised by a human poet - and strict algorithmic restrictions regarding the metrical structure ...
150
click to vote
IJCAI
2001
15 years 8 months ago
2001
The majority of existing language generation systems have a pipeline architecture which offers efficient sequential execution of modules, but does not allow decisions about text c...