7225 search results - page 297 / 1445 » Software is data too |
146
click to vote
ITCC
2002
IEEE
15 years 11 months ago
2002
IEEE
Many job applications on the web [3-4, 7-8, 10, 12] provide only simple boolean comparing using only basic requirement information (i.e., degree, age) for searching and matching j...
166
click to vote
WABI
2001
Springer
15 years 10 months ago
2001
Springer
We derive a branch-and-bound algorithm to find an optimal inversion median of three signed permutations. The algorithm prunes to manageable size an extremely large search tree usi...
145
Voted
KI
1999
Springer
15 years 10 months ago
1999
Springer
Computing least common subsumers in description logics is an important reasoning service useful for a number of applications. As shown in the literature, it can, for instance, be u...
161
click to vote
SP
1998
IEEE
15 years 10 months ago
1998
IEEE
The growing use of mobile code in downloaded applications and servlets has increased interest in robust mechanisms for ensuring privacy and secrecy. Information flow control is in...
167
click to vote
ESOP
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Linear type systems allow destructive operations such as object deallocation and imperative updates of functional data structures. These operations and others, such as th...