Sciweavers

470 search results - page 88 / 94
» Test Case Generation Based on State and Activity Models
Sort
View
AI
2004
Springer
14 years 9 months ago
ASSAT: computing answer sets of a logic program by SAT solvers
We propose a new translation from normal logic programs with constraints under the answer set semantics to propositional logic. Given a normal logic program, we show that by addin...
Fangzhen Lin, Yuting Zhao
ICMCS
2009
IEEE
185views Multimedia» more  ICMCS 2009»
14 years 7 months ago
Connecting content to community in social media via image content, user tags and user communication
In this paper we develop a recommendation framework to connect image content with communities in online social media. The problem is important because users are looking for useful...
Munmun De Choudhury, Hari Sundaram, Yu-Ru Lin, Aji...
JSW
2007
102views more  JSW 2007»
14 years 9 months ago
Model-driven Engineering for Early QoS Validation of Component-based Software Systems
— Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based syste...
James H. Hill, Aniruddha S. Gokhale
SIGSOFT
2005
ACM
15 years 10 months ago
Applying classification techniques to remotely-collected program execution data
There is an increasing interest in techniques that support measurement and analysis of fielded software systems. One of the main goals of these techniques is to better understand ...
Murali Haran, Alan F. Karr, Alessandro Orso, Adam ...
116
Voted
ESSMAC
2003
Springer
15 years 2 months ago
Analysis of Some Methods for Reduced Rank Gaussian Process Regression
Abstract. While there is strong motivation for using Gaussian Processes (GPs) due to their excellent performance in regression and classification problems, their computational com...
Joaquin Quiñonero Candela, Carl Edward Rasm...