7890 search results - page 1281 / 1578 » The MathSAT 3 System |
173
click to vote
SIGIR
2006
ACM
16 years 20 days ago
2006
ACM
We present a novel framework for answering complex questions that relies on question decomposition. Complex questions are decomposed by a procedure that operates on a Markov chain...
180
click to vote
WPES
2006
ACM
16 years 19 days ago
2006
ACM
Connections in distributed systems, such as social networks, online communities or peer-to-peer networks, form complex graphs. These graphs are of interest to scientists in field...
188
click to vote
CODES
2005
IEEE
16 years 10 days ago
2005
IEEE
Instruction-set extensible processors allow an existing processor core to be extended with application-specific custom instructions. In this paper, we explore a novel application...
153
click to vote
CW
2005
IEEE
16 years 10 days ago
2005
IEEE
Educational Virtual Worlds (EVWs) allow one to circumvent physical, safety, and cost constraints that often affect real-world training and learning scenarios. Virtual humans can i...
168
click to vote
DEXAW
2005
IEEE
16 years 10 days ago
2005
IEEE
A peer-to-peer complementary currency can be a powerful tool for promoting exchanges that make use of underutilized computing resources in a trusted way. i-WAT[11] is a proposed s...