Sciweavers

8766 search results - page 711 / 1754
» Functional logic programming
Sort
View
SIGCSE
2002
ACM
131views Education» more  SIGCSE 2002»
15 years 6 months ago
JERPA: a distance-learning environment for introductory Java programming courses
This paper describes a Java-based distance-education tool, called the Environment for Remote Programming Assignments in Java (JERPA), for use in computer science courses with Java...
David Emory, Roberto Tamassia
GLVLSI
2007
IEEE
171views VLSI» more  GLVLSI 2007»
16 years 1 months ago
Combinational equivalence checking for threshold logic circuits
Threshold logic is gaining prominence as an alternative to Boolean logic. The main reason for this trend is the availability of devices that implement these circuits efficiently (...
Tejaswi Gowda, Sarma B. K. Vrudhula, Goran Konjevo...
190
Voted
ECSQARU
2009
Springer
15 years 11 months ago
A Simple Modal Logic for Reasoning about Revealed Beliefs
Abstract. Even though in Artificial Intelligence, a set of classical logical formulae is often called a belief base, reasoning about beliefs requires more than the language of cla...
Mohua Banerjee, Didier Dubois
IJCINI
2007
66views more  IJCINI 2007»
15 years 6 months ago
Language, Logic, and the Brain
Language is primarily a physical, and more particularly a biological phenomenon. To say that it is primarily so is to say that that is how, in the first instance, it presents itse...
Ray E. Jennings
TCAD
1998
86views more  TCAD 1998»
15 years 6 months ago
Fast heuristic and exact algorithms for two-level hazard-free logic minimization
None of the available minimizers for 2-level hazard-free logic minimization can synthesize very large circuits. This limitation has forced researchers to resort to manual and auto...
Michael Theobald, Steven M. Nowick