3573 search results - page 447 / 715 » Reasoning about Codata |
174
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
Recent advances in scene understanding and related tasks
have highlighted the importance of using regions to reason
about high-level scene structure. Typically, the regions are
...
146
click to vote
HICSS
2010
IEEE
16 years 1 months ago
2010
IEEE
This paper presents the case of Arinia, a custommade piece of social software with strong similarities to today’s microblogging applications. Arinia has been in use in a medium-...
151
click to vote
HICSS
2010
IEEE
16 years 1 months ago
2010
IEEE
Different classes of information system stakeholders depend on different values to be successful. Understanding stakeholders’ value dependencies is critical for developing softw...
173
click to vote
HRI
2010
ACM
16 years 1 months ago
2010
ACM
—Speaking using unconstrained natural language is an intuitive and flexible way for humans to interact with robots. Understanding this kind of linguistic input is challenging be...
168
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
The applicability of aspects as a means of implementing runtime contract checking has been demonstrated in prior work, where contracts are identified as cross-cutting concerns [1...