4067 search results - page 283 / 814 » Programs for Applying Symmetries |
194
click to vote
ICFP
2003
ACM
2003
ACM
A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines
16 years 6 months ago
We report on work in progress devoted to the formalization of an Ordered Logical Framework (OLF) based on a two-level architecture [8] in the Hybrid system. OLF here is a second-or...
150
Voted
UM
2009
Springer
16 years 1 months ago
2009
Springer
This paper proposes a novel trail sharing system for mobile devices that deals with context information collected by sensors, as well as users’ personal opinions (e.g., landscape...
171
click to vote
SEMCO
2008
IEEE
16 years 1 months ago
2008
IEEE
The twin mainstream computing shifts of mobility and programable Web are fundamentally impacting how humans interact, socialize, and access information. Never before has computing...
144
click to vote
ITICSE
2005
ACM
16 years 9 days ago
2005
ACM
We explored two approaches for encouraging introductory programming students to use the web-based, selfassessment system, QuizPACK. An "organizational" approach applied ...
163
click to vote
LPAR
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. The paper describes the formalization and implementation of an efficient constraint programming framework operating on 3D crystal lattices. The framework is motivated an...