4066 search results - page 53 / 814 » Almost Complete Sets |
128
Voted
ICDM
2007
IEEE
15 years 11 months ago
2007
IEEE
Set expansion refers to expanding a given partial set of objects into a more complete set. A well-known example system that does set expansion using the web is Google Sets. In thi...
147
Voted
ECAL
2007
Springer
15 years 10 months ago
2007
Springer
The Bare Bones language is a programming language with a minimal set of operations that exhibits universal computation. We present a conceptual framework, Chemical Bare Bones, to c...
112
Voted
AIIA
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Efficiency of the first-order logic proof procedure is a major issue when deduction systems are to be used in real environments, both on their own and as a component of ...
119
Voted
CHI
1994
ACM
15 years 8 months ago
1994
ACM
1 A virtual meeting room is the electronic place where meetings actually occur, and collects people, tools, and computer agents into a desktop conference. Meetings have different ...
122
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. We present Comfusy, a tool that extends the compiler for the gener...