3799 search results - page 604 / 760 » An Engineering Approach to Formal Methods |
156
click to vote
CSE
2009
IEEE
15 years 12 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, ...
138
click to vote
BIS
2008
15 years 6 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...
143
Voted
ESA
2010
Springer
15 years 6 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...
157
Voted
TOG
2002
15 years 4 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 ...
154
Voted
IUI
2003
ACM
15 years 10 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...