1648 search results - page 115 / 330 » Structuring namespace descriptions |
170
click to vote
FCCM
2009
IEEE
16 years 1 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 ...
135
click to vote
LICS
2008
IEEE
16 years 20 days 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...
162
click to vote
ECSA
2007
Springer
16 years 13 days 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...
158
click to vote
ICDM
2006
IEEE
16 years 9 days 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...
142
click to vote
ICRA
2006
IEEE
16 years 9 days 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...