3719 search results - page 174 / 744 » RACER System Description |
178
click to vote
FORTE
1990
15 years 7 months ago
1990
The importance of a design methodology when using Formal Description Techniques is generally agreed in the scientific community. This paper presents some design principles and con...
207
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
We present two methods for unsupervised segmentation of words into morphemelike units. The model utilized is especially suited for languages with a rich morphology, such as Finnis...
173
click to vote
ICMCS
2006
IEEE
16 years 16 days ago
2006
IEEE
In traditional mobile streaming networks such as 3G cellular networks, all users pull streams from a server. Such pull model leads to high streaming cost and problem in system sca...
210
click to vote
TPHOL
1999
IEEE
15 years 10 months ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...
204
click to vote
IFIP12
2004
15 years 7 months ago
2004
With the evolution of Web service technology, services will not only become increasingly sophisticated, but also move into the area of business-to-consumer and peer-to-peer interac...