Sciweavers

7213 search results - page 1038 / 1443
» Automated model grouping
Sort
View
KDD
2001
ACM
195views Data Mining» more  KDD 2001»
16 years 7 months ago
Multimedia Data Mining for Traffic Video Sequences
In this paper, a multimedia data mining framework for discovering important but previously unknown knowledge such as vehicle identification, traffic flow, and the spatio-temporal ...
Shu-Ching Chen, Mei-Ling Shyu, Chengcui Zhang, Jef...
ICSE
2008
IEEE-ACM
16 years 6 months ago
An integrated aspect-oriented model-driven software product line tool suite
Software product line engineering is mostly about the systematic management of commonality and variability between product line members. The effectiveness of this approach thus ve...
Christa Schwanninger, Iris Groher, Markus Völ...
147
Voted
ICWS
2009
IEEE
16 years 3 months ago
A Policy-Based Middleware for Web Services SLA Negotiation
Negotiation of Service Level Agreements (SLAs) is very important for maintaining Quality of Service (QoS) of composite Web services-based business processes. The process of negoti...
Farhana H. Zulkernine, Patrick Martin, Chris Cradd...
ICRA
2009
IEEE
128views Robotics» more  ICRA 2009»
16 years 1 months ago
Tissue property estimation and graphical display for teleoperated robot-assisted surgery
— Palpation of tissue and organs during a surgical procedure provides clinicians with valuable information for diagnosis and surgical planning. In robot-assisted minimally invasi...
Tomonori Yamamoto, Balázs Vágvö...
LICS
2009
IEEE
16 years 1 months ago
On the Computational Complexity of Verifying One-Counter Processes
—One-counter processes are pushdown systems over a singleton stack alphabet (plus a stack-bottom symbol). We study the complexity of two closely related verification problems ov...
Stefan Göller, Richard Mayr, Anthony Widjaja ...
« Prev « First page 1038 / 1443 Last » Next »