2527 search results - page 304 / 506 » Aging in language dynamics |
171
click to vote
CP
2005
Springer
16 years 3 days ago
2005
Springer
This paper describes a hybrid approach to solving large-scale constraint satisfaction and optimization problems. It describes a hybrid algorithm for integer linear programming whic...
165
click to vote
TLCA
2005
Springer
16 years 2 days ago
2005
Springer
We give a monadic semantics in the category of FM-cpos to a higher-order CBV language with recursion and dynamically allocated mutable references that may store both ground data an...
185
click to vote
UM
2005
Springer
16 years 2 days ago
2005
Springer
This research aims at reconciling web personalization with privacy constraints imposed by legal restrictions and by users’ privacy preferences. We propose a software product line...
139
click to vote
PASTE
2004
ACM
16 years 14 hour ago
2004
ACM
This work discusses two non-traditional approaches for evaluating the imprecision of static analysis. The approaches are based on proofs of feasibility or infeasibility that are c...
155
click to vote
DSOM
2004
Springer
15 years 12 months ago
2004
Springer
Autonomic distributed management enables for deploying self-directed monitoring and control tasks that track dynamic network problems such as performance degradation and security t...