2586 search results - page 345 / 518 » Automatic Abstraction for Congruences |
153
click to vote
BROADNETS
2007
IEEE
16 years 24 days ago
2007
IEEE
Abstract — In order to perform valid experiments, traffic generators used in network simulators and testbeds require up to date models of traffic as it exists on real network lin...
172
click to vote
ESCIENCE
2007
IEEE
16 years 24 days ago
2007
IEEE
As scientific workflows and the data they operate on, grow in size and complexity, the task of defining how those workflows should execute (which resources to use, where the resou...
163
click to vote
FDL
2007
IEEE
16 years 24 days ago
2007
IEEE
Abstract This paper proposes VHDL-AMS syntax extensions that enable descriptions of AMS systems with partial differential equations. We named the extended language VHDL-AMSP. An im...
137
click to vote
ICRA
2007
IEEE
16 years 23 days ago
2007
IEEE
Abstract—Automation has long been recognized as an important goal in AFM (Atomic Force Microscope) nanomanipulation research. For the precise manipulation of small particles with...
205
click to vote
ICRA
2007
IEEE
16 years 23 days ago
2007
IEEE
Abstract— This paper presents a method for detecting independent temporally-persistent motion patterns in image sequences. The result is a description of the dynamic content of a...