1774 search results - page 126 / 355 » Modeling Dynamic Component Interfaces |
IOT
2010
13 years 6 months ago
2010
Effectively assisting people in complex and highly dynamic work environment requires advances in high-level declarative activity models that can describe the flow of human work act...
ACIVS
2009
Springer
14 years 3 months ago
2009
Springer
According to recent works, introduced by Y.Meyer [1] the decomposition models based on Total Variation (TV) appear as a very good way to extract texture from image sequences. Indee...
IPPS
2008
IEEE
14 years 3 months ago
2008
IEEE
In this paper, we consider the interaction between application programmers and tools that automatically search a space of application-level parameters that are believed to impact ...
SAT
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. We introduce a new conceptual model for representing and designing Stochastic Local Search (SLS) algorithms for the propositional satisfiability problem (SAT). Our model...
JCP
2007
13 years 9 months ago
2007
Abstract— In this paper, we develop a mixed-initiative intelligent tutor for the game of Sudoku called MITS. We begin by developing a characterization of the strategies used in S...