Sciweavers

19003 search results - page 288 / 3801
» We Need Assurance!
Sort
View
MOBIQUITOUS
2005
IEEE
16 years 1 months ago
Plethora: A Framework for Converting Generic Applications to Run in a Ubiquitous Environment
Applications designed for ubiquitous computing environments need to be coded in a specific way in order to fully realize the benefits of ubiquitous computing. Currently, applicati...
Zahid Anwar, Jalal Al-Muhtadi, William Yurcik, Roy...
PADS
2005
ACM
16 years 29 days ago
Performance Benchmark of a Parallel and Distributed Network Simulator
Simulation of large-scale networks requires enormous amounts of memory and processing time. One way of speeding up these simulations is to distribute the model over a number of co...
Samson Lee, John Leaney, Tim O'Neill, Mark Hunter
FSTTCS
2005
Springer
16 years 28 days ago
Testing Concurrent Systems: An Interpretation of Intuitionistic Logic
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programmi...
Radha Jagadeesan, Gopalan Nadathur, Vijay A. Saras...
IEAAIE
2005
Springer
16 years 28 days ago
AI/NLP Technologies Applied to Spacecraft Mission Design
In this paper we propose the model of a prototypical NLP architecture of an information access system to support a team of experts in a scientific design task, in a shared and hete...
Maria Teresa Pazienza, Marco Pennacchiotti, Michel...
ISMIR
2005
Springer
151views Music» more  ISMIR 2005»
16 years 28 days ago
Markov Random Fields and Maximum Entropy Modeling for Music Information Retrieval
Music information retrieval is characterized by a number of various user information needs. Systems are being developed that allow searchers to find melodies, rhythms, genres, an...
Jeremy Pickens, Costas S. Iliopoulos