4486 search results - page 796 / 898 » Adaptable Boundary Sets |
147
click to vote
SMI
2010
IEEE
14 years 11 months ago
2010
IEEE
—This paper presents a new technique for detecting sharp features on point-sampled geometry. Sharp features of different nature and possessing angles varying from obtuse to acute...
107
Voted
SPIN
2010
Springer
14 years 11 months ago
2010
Springer
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
119
Voted
STTT
2010
14 years 11 months ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
118
Voted
TASLP
2010
14 years 11 months ago
2010
— Extracting the main melody from a polyphonic music recording seems natural even to untrained human listeners. To a certain extent it is related to the concept of source separat...
119
Voted
TMC
2010
14 years 11 months ago
2010
—Wireless sensor networks have been used to gather data and information in many diverse application settings. The capacity of such networks remains a fundamental obstacle toward ...