6348 search results - page 575 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
210
click to vote
AMAST
2006
Springer
15 years 11 months ago
2006
Springer
Algebraization of computational logics in the theory of fork algebras has been a research topic for a while. This research allowed us to interpret classical first-order logic, seve...
189
click to vote
DATE
2004
IEEE
15 years 11 months ago
2004
IEEE
Recently a lot of multimedia applications are emerging on portable appliances. They require both the flexibility of upgradeable devices (traditionally software based) and a powerf...
177
click to vote
HCI
2007
15 years 8 months ago
2007
The author reviewed and participated in several exemplar industry projects from the Indian IT industry to study the integration of human-computer interaction (HCI) design into soft...
185
click to vote
IUI
2009
ACM
16 years 4 months ago
2009
ACM
We demonstrate Parakeet – a continuous speech recognition system for mobile touch-screen devices. Parakeet’s interface is designed to make correcting errors easy on a handheld...
198
click to vote
WOSP
2010
ACM
16 years 2 months ago
2010
ACM
In this paper we provide a general method to derive productform solutions for stochastic models. We take inspiration from the Reversed Compound Agent Theorem [14] and we provide a...