Sciweavers

6722 search results - page 358 / 1345
» Reuse-Conducive Development Environments
Sort
View
SIGSOFT
2010
ACM
15 years 5 months ago
The overture initiative integrating tools for VDM
Overture is a community-based initiative that aims to develop a common open-source platform integrating a range of tools for constructing and analysing formal models of systems us...
Peter Gorm Larsen, Nick Battle, Miguel Ferreira, J...
IAT
2010
IEEE
15 years 4 months ago
Location-Based Semantic Matchmaking in Ubiquitous Computing
Ever increasing efforts are spent in developing techniques and tools for a full exploitation of semantics in mobile environments, able to overcome volatility and resource limitati...
Michele Ruta, Floriano Scioscia, Eugenio Di Sciasc...
SIGDIAL
2010
15 years 4 months ago
Coherent Back-Channel Feedback Tagging of In-Car Spoken Dialogue Corpus
This paper describes the design of a backchannel feedback corpus and its evaluation, aiming at realizing in-car spoken dialogue systems with high responsiveness. We constructed ou...
Yuki Kamiya, Tomohiro Ohno, Shigeki Matsubara
158
Voted
ICIP
2009
IEEE
15 years 4 months ago
Scene image segmentation based on Perceptual Organization
We propose a novel scene image segmentation algorithm based on Perceptual Organization. We develop a Perceptual Organization model by quantitatively incorporating a list of Gestal...
Chang Cheng, Andreas Koschan, David L. Page, Mongi...
BIRTHDAY
2010
Springer
15 years 3 months ago
QPME 2.0 - A Tool for Stochastic Modeling and Analysis Using Queueing Petri Nets
Abstract Queueing Petri nets are a powerful formalism that can be exploited for modeling distributed systems and analyzing their performance and scalability. By combining the model...
Samuel Kounev, Simon Spinner, Philipp Meier