Sciweavers

3830 search results - page 450 / 766
» From Reference Model to Component Model
Sort
View
MEMBRANE
2009
Springer
15 years 10 months ago
Conformon P Systems and Topology of Information Flow
would be an abstract answer (because it would not immediately link a formal model with the biological reality that inspired it or with possible implementations) from the other hand...
Pierluigi Frisco
CVPR
2007
IEEE
15 years 10 months ago
Moving Object Detection on a Runway Prior to Landing Using an Onboard Infrared Camera
Determining the status of a runway prior to landing is essential for any aircraft, whether manned or unmanned. In this paper, we present a method that can detect moving objects on...
Cheng-Hua Pai, Yuping Lin, Gérard G. Medion...
123
Voted
SOCA
2007
IEEE
15 years 10 months ago
Context-aware Process Support through Automatic Selection and Invocation of Semantic Web Services
Current technologies aimed at supporting processes – whether it is a business process or a learning process – are usually based on using a dedicated set of metadata to describ...
Stefan Dietze, Alessio Gugliotta, John Domingue
SAS
2007
Springer
126views Formal Methods» more  SAS 2007»
15 years 10 months ago
Hierarchical Pointer Analysis for Distributed Programs
We present a new pointer analysis for use in shared memory programs running on hierarchical parallel machines. The analysis is motivated by the partitioned global address space lan...
Amir Kamil, Katherine A. Yelick
WEBI
2007
Springer
15 years 10 months ago
Detection of Web Subsites: Concepts, Algorithms, and Evaluation Issues
Web sites are often organized into several regions, each dedicated to a specific topic or serving a particular function. From a user’s perspective, these regions typically form ...
Eduarda Mendes Rodrigues, Natasa Milic-Frayling, B...