2748 search results - page 481 / 550 » Generating Object-Z Specifications from Use Cases |
107
click to vote
FPGA
2006
ACM
15 years 3 months ago
2006
ACM
Abstract--Field-programmable gate-array (FPGA) logic synthesis and technology mapping have been studied extensively over the past 15 years. However, progress within the last few ye...
113
click to vote
CRITICAL
2005
15 years 1 months ago
2005
This paper addresses design agendas in Human-Computer Interaction and neighbouring fields motivated by the mixing of areas that were mostly kept separate until recently, such as m...
105
click to vote
AI
2008
Springer
14 years 12 months ago
2008
Springer
The notion of maintenance often appears in the AI literature in the context of agent behavior and planning. In this paper, we argue that earlier characterizations of the notion of...
101
click to vote
CAGD
2006
14 years 12 months ago
2006
Given a smooth surface, a blue (red) ridge is a curve such that at each of its points, the maximum (minimum) principal curvature has an extremum along its curvature line. Ridges a...
TIT
2008
14 years 11 months ago
2008
In a multiple-antenna system with two transmitters and two receivers, a scenario of data communication, known as the X channel, is studied in which each receiver receives data from...