3001 search results - page 514 / 601 » From the gaming experience to the wider user experience |
174
click to vote
EKAW
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Ontology evolution tools often propose new ontological changes in the form of statements. While different methods exist to check the quality of such statements to be add...
195
click to vote
ICST
2010
IEEE
15 years 4 months ago
2010
IEEE
—Recent advances in automated functional testing of Graphical User Interfaces (GUIs) rely on deriving graph models that approximate all possible sequences of events that may be e...
168
click to vote
JUCS
2010
15 years 4 months ago
2010
: The promise of smart buildings (SBs) is a safer more productive environment for users and a more operationally efficient building for owners. The automation of building function ...
156
click to vote
MICS
2010
15 years 4 months ago
2010
Strategies specify how a wide range of exercises can be solved incrementally, such as bringing a logic proposition to disjunctive normal form, reducing a matrix, or calculating wit...
137
click to vote
SIAMJO
2010
15 years 4 months ago
2010
Proximal bundle methods have been shown to be highly successful optimization methods for unconstrained convex problems with discontinuous first derivatives. This naturally leads ...