Sciweavers

1926 search results - page 186 / 386
» From P to MP Systems
Sort
View
AFP
1995
Springer
126views Formal Methods» more  AFP 1995»
15 years 10 months ago
Functional Programming with Overloading and Higher-Order Polymorphism
The Hindley/Milner type system has been widely adopted as a basis for statically typed functional languages. One of the main reasons for this is that it provides an elegant comprom...
Mark P. Jones
NSDI
2008
15 years 9 months ago
Using Salience Differentials to Making Visual Cues Noticeable
There is a large body of research on how to design user interfaces for systems so as to ensure that important messages from the systems are presented to the user to maximize the p...
Andreas P. Heiner, N. Asokan
AIPS
2003
15 years 8 months ago
Learning Rules for Adaptive Planning
This paper presents a novel idea, which combines Planning, Machine Learning and Knowledge-Based techniques. It is concerned with the development of an adaptive planning system tha...
Dimitris Vrakas, Grigorios Tsoumakas, Nick Bassili...
ANLP
1992
103views more  ANLP 1992»
15 years 7 months ago
Real-time linguistic analysis for continuous speech understanding
This paper describes the approach followed in the development of the linguistic processor of the continuous speech dialog system implemented at our labs. The application scenario ...
Paolo Baggia, Elisabetta Gerbino, Egidio P. Giachi...
JNW
2008
101views more  JNW 2008»
15 years 6 months ago
Micro-controller based Remote Monitoring using Mobile through Spoken Commands
Mobile phone can serve as powerful tool for world-wide communication. A system is developed to remotely monitor process through spoken commands using mobile. Mel cepstrum features ...
Naresh P. Jawarkar, Vasif Ahmed, Siddharth A. Ladh...