4266 search results - page 190 / 854 » A Framework for Defining Logics |
196
click to vote
CSREAESA
2006
15 years 8 months ago
2006
- This paper presents an approach to obtain reduced hardware and/or delay for synthesizing logic functions using multiplexers. Replication of single control line multiplexer is use...
178
click to vote
PPDP
2005
Springer
16 years 19 days ago
2005
Springer
Lolli is a logic programming language based on the asynchronous propositions of intuitionistic linear logic. It uses a backward chaining, backtracking operational semantics. In th...
222
click to vote
ENTCS
2007
15 years 7 months ago
2007
In modern functional logic languages like Curry or Toy, programs are possibly non-confluent and nonterminating rewrite systems, defining possibly non-deterministic non-strict fu...
192
click to vote
ISVC
2010
Springer
15 years 5 months ago
2010
Springer
We propose a framework for visual and haptic collaboration in X3D/VRML shared virtual spaces. In this collaborative framework, two pipelines—visual and haptic—complement each o...
226
click to vote
ICDAR
2009
IEEE
15 years 4 months ago
2009
IEEE
Chemical expressions have more variant structures in 2-D space than that in math equations. In this paper we propose a unified framework for recognizing handwritten chemical expre...