4166 search results - page 262 / 834 » Automating the constraining process |
120
click to vote
ICRA
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper presents a novel approach to the multi-vehicle Simultaneous Localisation and Mapping (SLAM) problem that exploits the manner in which observations are fused into the gl...
133
click to vote
ICEIS
1999
IEEE
15 years 8 months ago
1999
IEEE
Group Decision Support Systems (GDSS) present important limitations that constrain their usage in current organisations. The fundamental reason is the lack of integration in the c...
117
Voted
POPL
1997
ACM
15 years 8 months ago
1997
ACM
We investigateparametric polymorphism in message-basedconcurrentprogramming, focusing on behavioral equivalences in a typed process calculus analogous to the polymorphic lambdacal...
140
click to vote
GROUP
1995
ACM
15 years 7 months ago
1995
ACM
Software and Information Systems (IS) documents are a common product of large IS development e orts. These documents are produced and consumed through a variety of documentation p...
107
click to vote
CODES
2008
IEEE
15 years 6 months ago
2008
IEEE
This article proposes a hardware/software partitioning method targeted to performance-constrained systems for datapath applications. Exploiting a platform based design, a Timed Pe...