3799 search results - page 604 / 760 » An Engineering Approach to Formal Methods |
187
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—The recently developed small wireless devices ranging from sensor boards to mobile phones provide a timely opportunity to gather unique data sets on complex human interactions, ...
161
click to vote
BIS
2008
15 years 8 months ago
2008
Abstract. In this paper, we use a qualitative approach to explore which design aspects an erecruiting platform requires so as to achieve active long-term participation of its users...
167
click to vote
ESA
2010
Springer
15 years 7 months ago
2010
Springer
Text search engines return a set of k documents ranked by similarity to a query. Typically, documents and queries are drawn from natural language text, which can readily be partiti...
178
click to vote
TOG
2002
15 years 6 months ago
2002
Finite element solvers are a basic component of simulation applications; they are common in computer graphics, engineering, and medical simulations. Although adaptive solvers can ...
185
click to vote
IUI
2003
ACM
15 years 11 months ago
2003
ACM
This paper presents a novel way for assessing the affective qualities of natural language and a scenario for its use. Previous approaches to textual affect sensing have employed k...