10159 search results - page 1806 / 2032 » System Design Validation Using Formal Models |
181
click to vote
ICIP
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a unified approach to human activity capturing and recognition. It targets applications such as a speaker walking, turning around, sitting and getting up from ...
183
click to vote
SODA
2010
ACM
16 years 4 months ago
2010
ACM
We introduce the problem of shape replication in the Wang tile self-assembly model. Given an input shape, we consider the problem of designing a self-assembly system which will re...
177
click to vote
IUI
2009
ACM
16 years 3 months ago
2009
ACM
Using content-specific models to guide information retrieval and extraction can provide richer interfaces to endusers for both understanding the context of news events and navigat...
189
click to vote
ICEBE
2007
IEEE
16 years 28 days ago
2007
IEEE
Due to the dramatic increase in intrusive activities architecture security analysis and design has emerged as an important aspect of the development of software services. It is a ...
172
click to vote
CIKM
2007
Springer
16 years 24 days ago
2007
Springer
Most up-to-date well-behaved topic-based summarization systems are built upon the extractive framework. They score the sentences based on the associated features by manually assig...