12742 search results - page 231 / 2549 » On canonical number systems |
139
click to vote
JOT
2007
15 years 6 months ago
2007
ome this restriction, we develop so-called loose domains which abstract over several precise domains. Similar to the relation between supertypes and subtypes, we get a relation bet...
308
click to vote
CONCUR
2012
Springer
13 years 9 months ago
2012
Springer
We introduce a nominal actor-based language and study its expressive power. We have identified the presence/absence of fields as a relevant feature: the dynamic creation of names...
207
click to vote
APCSAC
2006
IEEE
16 years 19 days ago
2006
IEEE
Abstract. Scheduling algorithms significantly affect the performance of a realtime system. In systems with power constraints, context switches in a schedule result in wasted power ...
233
click to vote
TPHOL
2006
IEEE
16 years 17 days ago
2006
IEEE
This case study shows how ACL2 can be used to reason about the real and complex numbers, using non-standard analysis. It describes some modifications to ACL2 that include the irr...
195
click to vote
WACV
2005
IEEE
16 years 4 days ago
2005
IEEE
In this paper we propose an approach to count the number of pedestrians, given a trajectory data set provided by a tracking system. The tracking process itself is treated as a bla...