3381 search results - page 484 / 677 » Extending Dependencies with Conditions |
250
click to vote
GLVLSI
2009
IEEE
15 years 4 months ago
2009
IEEE
To assist in dynamic assertion-based verification, we present a method to automatically build a test vector generator from a temporal property. Based on the duality between monito...
193
click to vote
GPCE
2009
Springer
15 years 4 months ago
2009
Springer
Template languages are widely used within generative programming, because they provide intuitive means to generate software artefacts expressed in a specific object language. Howe...
238
click to vote
ICIP
2009
IEEE
15 years 4 months ago
2009
IEEE
Many computer vision algorithms such as object tracking and event detection assume that a background model of the scene under analysis is known. However, in many practical circums...
201
click to vote
ICRA
2009
IEEE
15 years 4 months ago
2009
IEEE
Mapping opaque and confined environments such as caves and pipes is a challenging problem for mobile robots because sensor information is severely limited to the immediate proximit...
227
click to vote
ICUMT
2009
15 years 4 months ago
2009
Uplink users in cellular networks, such as UMTS/ HSPA, located at the edge of the cell generally suffer from poor channel conditions. Deploying intermediate relay nodes is seen as ...