7890 search results - page 1422 / 1578 » The MathSAT 3 System |
155
click to vote
ER
2003
Springer
15 years 10 months ago
2003
Springer
XML is a widespread W3C standard used by several kinds of applications for data representation and exchange over the web. In the context of a system that provides semantic integrat...
105
click to vote
FPGA
2003
ACM
15 years 10 months ago
2003
ACM
Placement and routing are the most time-consuming processes in automatically synthesizing and configuring circuits for field-programmable gate arrays (FPGAs). In this paper, we ...
172
click to vote
FPL
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. This paper explores using information about program branch probabilities to optimise reconfigurable designs. The basic premise is to promote utilization by dedicating mo...
171
click to vote
GCC
2003
Springer
15 years 10 months ago
2003
Springer
This paper applies a new traffic model, iterated function systems (IFS) for network traffic modelling, to explore computer network behaviour and analyse network performance. IFS mo...
169
click to vote
GW
2003
Springer
15 years 10 months ago
2003
Springer
The interactive game environment, Ghost in the Cave, presented in this short paper, is a work still in progress. The game involves participants in an activity using non-verbal emot...