Sciweavers

2797 search results - page 251 / 560
» Control Structures
Sort
View
134
Voted
ISMVL
2000
IEEE
98views Hardware» more  ISMVL 2000»
15 years 8 months ago
Implementation of Multiple-Output Functions Using PQMDDs
A sequential realization of multiple-output logic functions is presented. A conventional sequential realization is based on SBDDs (Shared reduced ordered Binary Decision Diagrams)...
Yukihiro Iguchi, Tsutomu Sasao, Munehiro Matsuura
105
Voted
MJ
2008
55views more  MJ 2008»
15 years 3 months ago
Nanostructures, magnetic semiconductors and spintronics
The aim of this paper is to give a brief overview of recent advances in the area of semiconductor nanomaterials, which represent extremely promising applications for materials wit...
Paata J. Kervalishvili, Alexander Lagutin
135
Voted
IJMMS
1998
114views more  IJMMS 1998»
15 years 3 months ago
The design and evolution of TurboTurtle, a collaborative microworld for exploring Newtonian physics
controls, recoverability, and how strictly views should be shared between students. Teachers can also add structure to the group’s activities by setting the simulation environmen...
Andy Cockburn, Saul Greenberg
145
Voted
PKDD
2009
Springer
170views Data Mining» more  PKDD 2009»
15 years 10 months ago
Statistical Relational Learning with Formal Ontologies
Abstract. We propose a learning approach for integrating formal knowledge into statistical inference by exploiting ontologies as a semantically rich and fully formal representation...
Achim Rettinger, Matthias Nickles, Volker Tresp
SASO
2008
IEEE
15 years 10 months ago
Spatial Computing with Labels
— A reconfigurable robot is a robot that can change shape. Programming reconfigurable robots is complicated by the need to adapt the behavior of each of the individual module t...
Ulrik Pagh Schultz, Mirko Bordignon, David Johan C...