2701 search results - page 279 / 541 » On the form of witness terms |
188
Voted
ICTAI
2006
IEEE
16 years 23 days ago
2006
IEEE
This paper describes a new bipartite formulation for word-document co-clustering such that hyperclique patterns, strongly affiliated documents in this case, are guaranteed not to ...
188
click to vote
SYNASC
2006
IEEE
16 years 22 days ago
2006
IEEE
Mining relational data often boils down to computing clusters, that is finding sub-communities of data elements forming cohesive sub-units, while being well separated from one an...
184
click to vote
VLSID
2006
IEEE
16 years 22 days ago
2006
IEEE
IEEE 754r is the ongoing revision to the IEEE 754 floating point standard and a major enhancement to the standard is the addition of decimal format. This paper proposes two novel ...
138
Voted
VTC
2006
IEEE
16 years 22 days ago
2006
IEEE
The IEEE 802.16e system for multicast and broadcast service (MBS) is further investigated over [4]. It is shown that 802.16e networks can exploit advanced transmission and flexibl...
192
click to vote
ACL2
2006
ACM
16 years 21 days ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...