4693 search results - page 263 / 939 » Verifying Hybrid Systems |
168
click to vote
IJCAI
2007
15 years 8 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...
167
click to vote
MM
2010
ACM
15 years 6 months ago
2010
ACM
FACT is an interactive paper system for fine-grained interaction with documents across the boundary between paper and computers. It consists of a small camera-projector unit, a la...
160
click to vote
TMC
2010
15 years 5 months ago
2010
—In this paper, we consider DS-CDMA/OFDM spectrum sharing systems and obtain the achievable capacity of the secondary service under different subchannel selection policies in the...
160
click to vote
MICCAI
2005
Springer
16 years 7 months ago
2005
Springer
An integral element of every surgical simulator is the ability to interactively cut tissue. A number of approaches have been suggested in the past, the most important being mesh su...
144
click to vote
GECCO
2005
Springer
16 years 4 days ago
2005
Springer
In this paper we introduce an application of real-coded genetic algorithms to the problem of consistent graph layout and exploring the role of mutation for this particular problem...