2880 search results - page 467 / 576 » context 2007 |
145
click to vote
FROCOS
2007
Springer
15 years 8 months ago
2007
Springer
In the last two decades we have witnessed an impressive advance in the efficiency of propositional satisfiability techniques (SAT), which has brought large and previously-intractab...
138
click to vote
GI
2007
Springer
15 years 8 months ago
2007
Springer
: Discussing ubiquitous computing, the role of space is not quite clear. To get an understanding of the thinking on space, the main concepts of absolute, relational, and social spa...
104
click to vote
GROUP
2007
ACM
15 years 8 months ago
2007
ACM
This paper explores the impact of enterprise-wide processes and technologies on group relations and exchanges. We examine the use of Customer Relationship Management (CRM) tools i...
126
click to vote
HM
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We discuss a general approach to hybridize traditional construction heuristics for combinatorial optimization problems with numerical based evolutionary algorithms. There...
117
click to vote
HT
2007
ACM
15 years 8 months ago
2007
ACM
This paper presents a framework and system to evaluate the accessibility of web pages according to the individual requirements of users with disabilities. These requirements not o...