1648 search results - page 115 / 330 » Structuring namespace descriptions |
137
Voted
FCCM
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper will describe the architecture of a compiler which will convert an untimed C description of a set of floating point expressions into a synthesizable datapath optimized ...
105
Voted
LICS
2008
IEEE
15 years 10 months ago
2008
IEEE
The question of whether there is a logic that captures polynomial time is the central open problem in descriptive complexity theory. In my talk, I will review the question and the...
131
Voted
ECSA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The conceptual modelling of software architectures is of central importance for the quality of a software system. A rich modelling language is required to integrate the d...
125
Voted
ICDM
2006
IEEE
15 years 9 months ago
2006
IEEE
Sequence data are abundant in application areas such as computational biology, environmental sciences, and telecommunications. Many real-life sequences have a strong segmental str...
108
Voted
ICRA
2006
IEEE
15 years 9 months ago
2006
IEEE
— We address the problem of modeling and controlling a swarm of fully actuated point-like robots in three dimensions by generalizing the planar framework from [1]. We define a e...