1471 search results - page 271 / 295 » Church: a language for generative models |
106
click to vote
ICPR
2000
IEEE
15 years 6 months ago
2000
IEEE
JKanji is an interactive character completion system that provides stroke-order-independent recognition of complex hand-written glyphs such as Japanese kanji or Chinese hanzi. As ...
112
Voted
COMPSAC
1999
IEEE
15 years 6 months ago
1999
IEEE
As the complexity of software systems increases, so need for a good mechanism of abstraction. architecture design is an abstraction, hiding an immense amount of details about the ...
132
click to vote
ICSE
1993
IEEE-ACM
15 years 6 months ago
1993
IEEE-ACM
We give examples of situations where formal specifications of procedures in the standard pre/postcondition style become lengthy, cumbersome and difficult to change, a problem whic...
105
click to vote
ASPDAC
2004
ACM
15 years 5 months ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
ECAI
2006
Springer
15 years 5 months ago
2006
Springer
We present SAMMIE, a laboratory demonstrator of an in-car showcase of a multimodal dialogue system developed in the TALK project5 in cooperation between DFKI/USAAR/BOSCH/BMW, to s...