1982 search results - page 202 / 397 » Parametricity and dependent types |
166
click to vote
COMCOM
2006
15 years 6 months ago
2006
Bluetooth is a new technology for Wireless Personal Area Networks (WPANs). It intends to eliminate the need of wires and connectors between a variety of devices, like PCs and thei...
207
click to vote
PRESENCE
1998
15 years 6 months ago
1998
We propose a general framework for the simulation of sounds produced by colliding physical objects in a virtual reality environment. The framework is based on the vibration dynami...
194
click to vote
TIP
1998
15 years 6 months ago
1998
Abstract—A general variational framework for image approximation and segmentation is introduced. By using a continuous “line-process” to represent edge boundaries, it is poss...
176
click to vote
WCET
2010
15 years 4 months ago
2010
Calculating the worst-case execution time (WCET) of real-time tasks is still a tedious job. Programmers are required to provide additional information on the program flow, analyzi...
187
click to vote
ICDAR
2009
IEEE
15 years 4 months ago
2009
IEEE
Handwritten document analysis and recognition deals with several different application fields. In document processing, one of the first problems that must be solved is data acquis...