7890 search results - page 266 / 1578 » The MathSAT 3 System |
201
click to vote
CLUSTER
2002
IEEE
15 years 6 months ago
2002
IEEE
The need to conduct and manage large sets of experiments for scientific applications dramatically increased over the last decade. However, there is still very little tool support ...
143
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— We demonstrate five-degree-of-freedom (5-DOF) wireless magnetic control of a fully untethered microrobot (3DOF position, 2-DOF pointing orientation). The microrobot can move t...
171
click to vote
CICLING
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The development of a syntactic textual entailment system that compares the dependency relations in both the text and the hypothesis has been reported. The Stanford Depend...
192
click to vote
TKDE
2010
15 years 1 months ago
2010
We exploit the spreadsheet metaphor to make deductive problem-solving methods available to the vast population of spreadsheet end users. In particular, we show how the function-bas...
170
click to vote
TVLSI
2010
15 years 1 months ago
2010
In this paper, we present a low-power architectural synthesis system (LOPASS) for field-programmable gate-array (FPGA) designs with interconnect power estimation and optimization. ...