3218 search results - page 183 / 644 » Timed Extensions for SDL |
139
Voted
CCGRID
2001
IEEE
15 years 8 months ago
2001
IEEE
To ameliorate the need to spend significant programmer time modifying parallel programs to achieve highperformance, while maintaining compact, comprehensible source codes, this pa...
252
click to vote
AAAI
1998
15 years 6 months ago
1998
For mobile robots to be successful, they have to navigate safely in populated and dynamic environments. While recent research has led to a variety of localization methods that can...
123
click to vote
IANDC
2007
15 years 5 months ago
2007
In many cases, the addition of metric operators to qualitative temporal logics (TLs) increases the complexity of satisfiability by at least one exponential: while common qualitat...
147
click to vote
TC
2008
15 years 4 months ago
2008
In this contribution we introduce a low-complexity bit-parallel algorithm for computing square roots over binary extension fields. Our proposed method can be applied for any type ...
139
click to vote
JFP
2007
15 years 4 months ago
2007
Functional dependencies are a popular and useful extension to Haskell style type classes. We give a reformulation of functional dependencies in terms of Constraint Handling Rules ...