188 search results - page 26 / 38 » Injectivity analysis using interval analysis: Application to... |
116
Voted
CODES
2008
IEEE
15 years 2 months ago
2008
IEEE
Synchronous languages like Esterel have been widely adopted for designing reactive systems in safety-critical domains such as avionics. Specifications written in Esterel are based...
CSMR
2008
IEEE
15 years 7 months ago
2008
IEEE
Object-oriented languages such as Java, Smalltalk, and C++ structure their programs using packages, allowing classes to be organized into named abstractions. Maintainers of large ...
104
Voted
ICIP
2001
IEEE
16 years 2 months ago
2001
IEEE
3D-shape description requires the partition of objects in different parts. In this paper, we propose a new approach based on the analysis of a 3D skeleton. The skeleton is a repre...
111
click to vote
IJCAI
1989
15 years 1 months ago
1989
gn problem can be abstractly characterized as a constrained function-to-structure mapping. The de sign task takes as input the specifications of the desired functions of a device...
WWW
2010
ACM
15 years 7 months ago
2010
ACM
Web crawlers are increasingly used for focused tasks such as the extraction of data from Wikipedia or the analysis of social networks like last.fm. In these cases, pages are far m...