2451 search results - page 162 / 491 » The Octagon Abstract Domain |
189
Voted
CAISE
2003
Springer
16 years 8 days ago
2003
Springer
Abstract. In spite of the wide use of the Internet, it is difficult to develop desirable web documents evaluation that reflects users’ needs. Many automatic ranking systems have ...
168
Voted
CP
2003
Springer
16 years 8 days ago
2003
Springer
Abstract. Most previous theoretical study of the complexity of the constraint satisfaction problem has considered a simplified version of the problem in which all variables have t...
178
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract: Ambient assisted living (AAL) is a newly emerging term describing a research area with focus on services that support people in their daily life with particular focus on ...
177
Voted
CP
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Among backtracking based algorithms for constraint satisfaction problems (CSPs), algorithms employing constraint propagation, like forward checking (FC) and MAC, have had...
165
Voted
HT
1997
ACM
15 years 11 months ago
1997
ACM
The hypermedia field has long realized the need for firstructural abstractions. However, we have failed to generalize the concept of ubiquitous structure management to problem dom...