511 search results - page 7 / 103 » A Methodology for Extending Focusing Frameworks |
65
Voted
OZCHI
2009
ACM
15 years 4 months ago
2009
ACM
This paper extends the analytic framework Suchman used in Plans and Situated Actions by using it as a tool in the design of interactive, immersive environments that rely on human ...
TSP
2011
14 years 4 months ago
2011
—This paper presents an extended target tracking framework which uses polynomials in order to model extended objects in the scene of interest from imagery sensor data. State spac...
FMCAD
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. We present a formal verification methodology for datapathdominated hardware. This provides a systematic but flexible framework within which to organize the activities und...
ATVA
2007
Springer
15 years 3 months ago
2007
Springer
This paper focuses on using beam search, a heuristic search algorithm, for pruning state spaces while generating. The original beam search is adapted to the state space generation ...
SAC
2008
ACM
14 years 8 months ago
2008
ACM
This study focuses on the analysis and evaluation of agentoriented methodologies. Different studies have been proposed for the evaluation of agent-oriented methodologies adopting ...