2312 search results - page 375 / 463 » Invariance in Property Testing |
CIS
2005
Springer
14 years 3 months ago
2005
Springer
⎯A new nonslicing floorplan representation, the moving block sequence (MBS), is proposed in this paper. Our idea of the MBS originates from the observation that placing blocks on...
EUROCAST
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. The design, development, construction and testing of an ArtificialVision controlled Traffic-Light prototype has been carried out to rule and regulate intersections. Metho...
GPCE
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. SafeGen is a meta-programming language for writing statically safe generators of Java programs. If a program generator written in SafeGen passes the checks of the SafeGen...
ICCS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. There are several computer programs that align mRNA with its genomic counterpart to determine exon boundaries. Though most of these programs perform such alignment effici...
ICWE
2005
Springer
14 years 3 months ago
2005
Springer
In this paper, we examine how the task of creating usable websites can be made more efficient. Models and generation of websites have been a central issue for Web Engineering over ...