284
click to vote
IMR
2014
Springer
11 years 27 days ago
2014
Springer
Abstract. A sweeping algorithm can generate hexahedral meshes by sweeping an all-quad mesh on the source surface to the target surface. For one-toone sweeping, the most difficult t...
ICCASA
2014
11 years 27 days ago
2014
Abstract. We propose a logical framework for modelling and verifying contextaware multi-agent systems. We extend CTL∗ with belief and communication modalities, and the resulting ...
238
click to vote
HRI
2014
ACM
11 years 27 days ago
2014
ACM
In human relationships, responsiveness—behaving in a sensitive manner that is supportive of another person’s needs— plays a major role in any interaction that involves effe...
HASE
2014
IEEE
11 years 27 days ago
2014
IEEE
— An unpatched vulnerability can lead to security breaches. When a new vulnerability is discovered, it needs to be assessed so that it can be prioritized. A major challenge in so...
100
click to vote
FPGA
2014
ACM
11 years 27 days ago
2014
ACM
Achievable frequency (fmax) is a widely used input constraint for designs targeting Field-Programmable Gate Arrays (FPGA), because of its impact on design latency and throughput. ...