535 search results - page 76 / 107 » Do we need dependent types |
WSC
2007
13 years 10 months ago
2007
We start with basic terminology and concepts of modeling, and decompose the art of modeling as a process. This overview of the process helps clarify when we should or should not u...
FLAIRS
2010
13 years 10 months ago
2010
Nowadays, graph-based knowledge discovery algorithms do not consider numeric attributes (they are discarded in the preprocessing step, or they are treated as alphanumeric values w...
MHCI
2009
Springer
14 years 6 days ago
2009
Springer
In this paper, we describe the Smart Profile Management application that was designed to help minimize mobile phone disruptions. The system does this by making phone profile chang...
JCP
2006
13 years 7 months ago
2006
The nature of wireless mobile ad hoc networks depend on batteries or other fatiguing means for their energy. A limited energy capacity may be the most significant performance const...
ICRA
2008
IEEE
14 years 2 months ago
2008
IEEE
— This study describes a method of estimating the intrinsic parameters of a perspective camera. In previous calibration methods for perspective cameras, the intrinsic and extrins...