4480 search results - page 356 / 896 » Prototyping Completion with Constraints Using Computational ... |
175
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
We consider the problem of computing the root-mean-square (RMS) gain of switched linear systems. We develop a new approach which is based on an attempt to characterize the "w...
184
click to vote
MOBISYS
2008
ACM
16 years 6 months ago
2008
ACM
: Railway systems are critical in many regions, and can consist of several tens of thousands of bridges, being used over several decades. It is critical to have a system to monitor...
175
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
We report on an extension of Haskell with open type-level functions and equality constraints that unifies earlier work on GADTs, functional dependencies, and associated types. The...
147
Voted
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— The Rapidly-exploring Random Tree (RRT) algorithm has found widespread use in the field of robot motion planning because it provides a single-shot, probabilistically c...
191
click to vote
MOBILITY
2009
ACM
16 years 1 months ago
2009
ACM
We present the feasibility evaluation of a structured communication-oriented Peer-to-Peer (P2P) system being used in mobile environments in this paper. The different levels of chu...