Sciweavers

19003 search results - page 288 / 3801
» We Need Assurance
Sort
View
MOBIQUITOUS
2005
IEEE
16 years 8 days 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 8 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 7 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 6 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 6 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