1756 search results - page 70 / 352 » Current Directions in Hyper-Programming |
225
Voted
BSL
2011
14 years 10 months ago
2011
show that an abstract analysis of one of these three set theoretic principles can sometimes lead us to results that do not require additional axioms at all but which could have bee...
139
Voted
JCNS
2010
14 years 10 months ago
2010
Abstract Forward solutions with different levels of complexity are employed for localization of current generators, which are responsible for the electric and magnetic fields measu...
241
Voted
IUI
2012
ACM
13 years 11 months ago
2012
ACM
We present PhysicsBook, a prototype system that enables users to solve physics problems using a sketch-based interface and then animates any diagram used in solving the problem to...
136
Voted
ISCA
2012
IEEE
13 years 5 months ago
2012
IEEE
Recent improvements in architectural supports for virtualization have extended traditional hardware page walkers to traverse nested page tables. However, current twodimensional (2...
212
Voted
GIS
2008
ACM
16 years 4 months ago
2008
ACM
Many aspects of spatial language concerned with relationships between spatial entities are essentially vague. Current GIS technology provides very little support for dealing with ...