Sciweavers

23098 search results - page 248 / 4620
» Component Based Development
Sort
View
ICDIM
2006
IEEE
16 years 20 days ago
Model-Driven Development of Content-Based Image Retrieval Systems
: Generic systems for content-based image retrieval (CBIR), such as QBIC [7] cannot be used to solve domain-specific image retrieval problems, as for example, the identification of...
Temenushka Ignatova
ENTER
2007
Springer
15 years 10 months ago
Developing Web-Based Tourist Information Tools Using Google Map
This paper reports an explanatory study of using Google Map API to develop two destinationspecific tourist information tools: a handheld tour guide and an online trip planner for ...
Bing Pan, John C. Crotts, Brian Muller
VLSID
2005
IEEE
285views VLSI» more  VLSID 2005»
16 years 7 months ago
Power Monitors: A Framework for System-Level Power Estimation Using Heterogeneous Power Models
Abstract--Power analysis early in the design cycle is critical for the design of lowpower systems. With the move to system-level specifications and design methodologies, there has ...
Nikhil Bansal, Kanishka Lahiri, Anand Raghunathan,...
SYNASC
2005
IEEE
119views Algorithms» more  SYNASC 2005»
16 years 5 days ago
A Reference Implementation of ADF (Agent Developing Framework): Semantic Web-Based Agent Communication
The purpose of this paper is to present the main characteristics of ADF, an open source agent developing platform with a focus on agent collaboration. The basic architecture of th...
Catalin Hritcu, Sabin C. Buraga
LOPSTR
1995
Springer
15 years 10 months ago
Guiding Program Development Systems by a Connection Based Proof Strategy
We present an automated proof method for constructive logic based on Wallen’s matrix characterization for intuitionistic validity. The proof search strategy extends Bibel’s con...
Christoph Kreitz, Jens Otten, Stephan Schmitt