1216 search results - page 116 / 244 » Hybrid type checking |
149
click to vote
MABS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. A simulation-based tool is described which will be used to investigate how the actors in a transport chain are expected to act when different types of governmental contro...
118
click to vote
ICRA
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, a finishing system with a mounted abrasive tool is proposed for finishing of metallic molds. The shape of the mounted abrasive tool is a ball-end type. When a metal...
121
click to vote
WWIC
2010
Springer
15 years 9 months ago
2010
Springer
In this paper, we propose a new Distributed Cooperation and Diversity Combining framework. Our focus is heterogeneous networks with devices equipped with two types of radio frequen...
123
click to vote
IJCAI
2007
15 years 5 months ago
2007
Electoral control refers to attempts by an election’s organizer (“the chair”) to influence the outcome by adding/deleting/partitioning voters or candidates. The groundbreak...
138
click to vote
WSCG
2004
15 years 5 months ago
2004
With the growing popularity of pen-based computers comes the need to display clear handwritten characters at small sizes on low-resolution displays. This paper describes a method ...