4139 search results - page 163 / 828 » Designing and Implementing Combinator Languages |
108
click to vote
KBS
2006
2006
Facilitating formal specification acquisition by using recursive functions on context-free languages
14 years 11 months ago
Although formal specification techniques are very useful in software development, the acquisition of formal specification is a difficult task. This paper presents the formal softw...
INTERACT
2003
15 years 20 days ago
2003
Abstract: Watching sports is a favorite pastime of many consumers. A more nomadic life style makes the traditional spectating venues unavailable. Designing a sports spectator exper...
COLING
1992
15 years 14 days ago
1992
Knowledge-based interlingual machine translation systems produce semantically accurate translations, but typically require massive knowledge acquisition. Ongoing research and deve...
HICSS
2002
IEEE
15 years 4 months ago
2002
IEEE
With the proliferation of consumer computing devices with varied display and input characteristics, it has become desirable to develop interactive systems that are usable across m...
WISE
2002
Springer
15 years 4 months ago
2002
Springer
The emergence of Application Service Providers (ASP) hosting Internet-based data mining services is being seen as a viable alternative for organisations that value their knowledge...