2364 search results - page 193 / 473 » On O-Minimal Hybrid Systems |
199
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we present a novel approach that establishes a synergy between static and dynamic analyses for detecting memory errors in C code. We extend the standard C type syste...
172
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...
171
click to vote
MM
2010
ACM
15 years 7 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...
164
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...
162
Voted
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...