2446 search results - page 408 / 490 » First Smart Spaces |
130
click to vote
SAS
1999
Springer
15 years 7 months ago
1999
Springer
Programs represented in Static Single Assignment (SSA) form contain phi instructions (or functions) whose operational semantics are to merge values coming from distinct control flo...
111
click to vote
SPATIALCOGNITION
1998
Springer
15 years 7 months ago
1998
Springer
This chapter gives an overview of our ongoing experimental research in the MeMoSpace project, concerning the cognitive processes underlying human spatial reasoning. Our theoretical...
132
Voted
ICDE
1993
IEEE
15 years 7 months ago
1993
IEEE
To add time su port to the relational model, both first normal form (fNF and non-INF appmches have maining within 1NF when time support is added may introduce data redundancy. The...
149
Voted
CASES
2006
ACM
15 years 7 months ago
2006
ACM
Device scaling trends dramatically increase the susceptibility of microprocessors to soft errors. Further, mounting demand for embedded microprocessors in a wide array of safety c...
127
Voted
MOBISYS
2010
ACM
15 years 5 months ago
2010
ACM
This paper develops a navigation service, called GreenGPS, that uses participatory sensing data to map fuel consumption on city streets, allowing drivers to find the most fueleffi...