2452 search results - page 225 / 491 » On Reduction of Lagrange Systems |
177
click to vote
KBS
2006
15 years 6 months ago
2006
Spoken dialogue systems can be considered knowledge-based systems designed to interact with users using speech in order to provide information or carry out simple tasks. Current s...
170
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Translational research requires taking basic science observations and developing them into clinically useful tests and therapeutics. We have developed a process to dev...
181
click to vote
IPPS
2008
IEEE
16 years 29 days ago
2008
IEEE
MPI Alltoall is one of the most communication intense collective operation used in many parallel applications. Recently, the supercomputing arena has witnessed phenomenal growth o...
168
click to vote
MSWIM
2005
ACM
16 years 3 days ago
2005
ACM
Wi-Fi based indoor location systems have been shown to be both cost-effective and accurate, since they can attain meter-level positioning accuracy by using existing Wi-Fi infrastr...
306
click to vote
POPL
2003
ACM
16 years 6 months ago
2003
ACM
We introduce a new framework of algebraic pure type systems in which we consider rewrite rules as lambda terms with patterns and rewrite rule application as abstraction applicatio...