415 search results - page 58 / 83 » Regular Processes and Timed Automata |
STACS
1997
Springer
14 years 23 days ago
1997
Springer
Exotic semirings such as the “(max, +) semiring” (R ∪ {−∞}, max, +), or the “tropical semiring” (N ∪ {+∞}, min, +), have been invented and reinvented many times s...
FDL
2007
IEEE
14 years 16 days ago
2007
IEEE
Abstract-- Analog and Mixed Signal (AMS) designs are important integrated systems that link digital circuits to the analog world. Following the success of PSL verification methodol...
CL
2002
Springer
13 years 8 months ago
2002
Springer
The Ambient Calculus (henceforth, AC) was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [9]. We present a type system for AC ...
VIS
2008
IEEE
14 years 10 months ago
2008
IEEE
Abstract--Smooth surface extraction using partial differential equations (PDEs) is a well-known and widely used technique for visualizing volume data. Existing approaches operate o...
ICASSP
2011
IEEE
13 years 11 days ago
2011
IEEE
Electrical Vehicles are gaining increasing attention, due to the opportunities and challenges they present for the energy market. On the one hand, they will allow to drastically r...