Sciweavers

12118 search results - page 2215 / 2424
» User interface tools
Sort
View
JSAI
2007
Springer
16 years 21 days ago
Video Scene Retrieval Using Online Video Annotation
Abstract. In this paper, we propose an efficient method for extracting scene tags from online video annotation (e.g., comments about video scenes). To evaluate this method by apply...
Tomoki Masuda, Daisuke Yamamoto, Shigeki Ohira, Ka...
MODELS
2007
Springer
16 years 20 days ago
Relating Navigation and Request Routing Models in Web Applications
A navigation model describes the possible sequences of web pages a user can visit, and a request routing model describes how server side components handle each request. Earlier we...
Minmin Han, Christine Hofmeister
RE
2007
Springer
16 years 20 days ago
Goal-Oriented Conceptual Database Design
We present details of a goal-oriented process for database requirements analysis. This process consists of a number of steps, spanning the spectrum from high-level stakeholder goa...
Lei Jiang, Thodoros Topaloglou, Alexander Borgida,...
SARA
2007
Springer
16 years 20 days ago
Generating Implied Boolean Constraints Via Singleton Consistency
Though there exist some rules of thumb for design of good models for solving constraint satisfaction problems, the modeling process still belongs more to art than to science. Moreo...
Roman Barták
TACAS
2007
Springer
125views Algorithms» more  TACAS 2007»
16 years 20 days ago
Type-Dependence Analysis and Program Transformation for Symbolic Execution
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...
Saswat Anand, Alessandro Orso, Mary Jean Harrold
« Prev « First page 2215 / 2424 Last » Next »