Sciweavers

2324 search results - page 287 / 465
» Benchmark Generation Using Domain Specific Modeling
Sort
View
120
Voted
ICCV
2001
IEEE
16 years 4 months ago
Combining Single View Recognition and Multiple View Stereo for Architectural Scenes
This paper describes a structure from motion and recognition paradigm for generating 3D models from 2D sets of images. In particular we consider the domain of architectural photog...
Anthony R. Dick, Philip H. S. Torr, Simon J. Ruffl...
IEEESCC
2006
IEEE
15 years 8 months ago
Using Assumptions in Service Composition Context
Service composition aims to provide an efficient and accurate model of a service, based on which the global service oriented architecture (SOA) can be realized, allowing value add...
Zheng Lu, Aditya Ghose, Peter Hyland, Ying Guan
110
Voted
WWW
2006
ACM
16 years 3 months ago
A probabilistic approach to spatiotemporal theme pattern mining on weblogs
Mining subtopics from weblogs and analyzing their spatiotemporal patterns have applications in multiple domains. In this paper, we define the novel problem of mining spatiotempora...
Qiaozhu Mei, Chao Liu 0001, Hang Su, ChengXiang Zh...
ASE
2005
140views more  ASE 2005»
15 years 2 months ago
Automated Procedure Construction for Deductive Synthesis
Deductive program synthesis systems based on automated theorem proving offer the promise of software that is correct by construction. However, the difficulty encountered in constru...
Steve Roach, Jeffrey Van Baalen
CAISE
2005
Springer
15 years 7 months ago
Building a Software Factory for Pervasive Systems Development
The rise of the number and complexity of pervasive systems is a fact. Pervasive systems developers need advanced development methods in order to build better systems in an easy way...
Javier Muñoz, Vicente Pelechano