8874 search results - page 411 / 1775 » A New Implementation of Automath |
198
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
A new trend in home automation is to integrate audio en video applications. However in current domotics systems, these are usually conFigured statically. We implemented a home aut...
214
click to vote
ICOST
2010
Springer
15 years 9 months ago
2010
Springer
This article presents a service robotic system for people loosing their autonomy developed at CEA LIST. In the past on SAM robot, we have developed a method for automatic manipulat...
202
click to vote
BPM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper aims at carrying out business process modelling and business process improvement using TAD methodology. The methodology consists of six phases; the first three...
229
click to vote
CSSE
2008
IEEE
15 years 9 months ago
2008
IEEE
According to dramatically growing interesting in power-efficient embedded processor, designers must establish the proper power strategy when they design new embedded processor core...
200
click to vote
FPL
2008
Springer
15 years 9 months ago
2008
Springer
This paper considers the implementation of an annealing technique for dynamic power reduction in FPGAs. The proposed method comprises a power-aware objective function for placemen...