14704 search results - page 228 / 2941 » computing 2007 |
136
Voted
CCE
2004
15 years 3 months ago
2004
Significant advances have been made in the last two decades for the effective solution of mixed integer non-linear programming (MINLP) problems, mainly by exploiting the special s...
103
click to vote
LPAR
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper provides a new, decidable definition of the higherorder recursive path ordering in which type comparisons are made only when needed, therefore eliminating the...
143
Voted
ACSW
2007
15 years 5 months ago
2007
Traditional DHT (Distributed Hash Tables) abstraction distributes data items among peer nodes on a structured overlay network. This introduces a number of issues when nodes are un...
108
Voted
ECSCW
2007
15 years 5 months ago
2007
In computer-mediated group communication, anonymity enables participants to post controversial comments without risking accusations of improper behavior. While this may encourage m...
112
Voted
HCI
2007
15 years 5 months ago
2007
Responding to computer-initiated notifications requires a shift in attention that disrupts the flow of work. The degree of cost associated with resuming the original task following...