Sciweavers

7557 search results - page 1263 / 1512
» Modeling Timed Concurrent Systems
Sort
View
IRI
2003
IEEE
16 years 17 days ago
A Formal Framework for Design Component Contracts
– Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components to binary c...
Jing Dong, Paulo S. C. Alencar, Donald D. Cowan
COSIT
2003
Springer
132views GIS» more  COSIT 2003»
16 years 16 days ago
"Simplest" Paths: Automated Route Selection for Navigation
Numerous cognitive studies have indicated that the form and complexity of route instructions may be as important to human navigators as the overall length of route. Most automated ...
Matt Duckham, Lars Kulik
214
Voted
IPPS
2002
IEEE
16 years 6 days ago
Characterizing NAS Benchmark Performance on Shared Heterogeneous Networks
The goal of this research is to develop performance profiles of parallel and distributed applications in order to predict their execution time under different network conditions....
Jaspal Subhlok, Shreenivasa Venkataramaiah, Amitoj...
DEXAW
1999
IEEE
187views Database» more  DEXAW 1999»
15 years 11 months ago
Optical Font Recognition for Multi-Font OCR and Document Processing
In this paper we present a Multi-font OCR system to be employed for document processing, which performs, at the same time, both the character recognition and the font-style detect...
Serena La Manna, Anna Maria Colla, Alessandro Sper...
SIGIR
1999
ACM
15 years 11 months ago
Content-Based Retrieval for Music Collections
A content-based retrieval model for tackling the mismatch problems specific to music data is proposed and implemented. The system uses a pitch profile encoding for queries in any ...
Yuen-Hsien Tseng
« Prev « First page 1263 / 1512 Last » Next »