811 search results - page 115 / 163 » Refactoring Using Type Constraints |
ICDCSW
2005
IEEE
14 years 2 months ago
2005
IEEE
Today’s multimedia environments are characterized by different stationary and a growing number of mobile devices, like PDAs or even mobile phones. To meet their requirements reg...
ICRA
2005
IEEE
14 years 2 months ago
2005
IEEE
— In this paper we describe an approach to feature representation for simultaneous localization and mapping, SLAM. It is a general representation for features that addresses symm...
KI
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...
DAC
2007
ACM
14 years 24 days ago
2007
ACM
Mixed Vt has been widely used to control leakage without affecting circuit performance. However, current approaches target the combinational circuits even though sequential elemen...
COMAD
2008
13 years 10 months ago
2008
In designing and developing large complex products, people use models to describe and organize interrelated elements in both product systems (architecture, use cases, constraints....