Sciweavers

1359 search results - page 88 / 272
» Black-Box Program Specialization
Sort
View
AB
2008
Springer
14 years 3 months ago
Algorithms for Inference, Analysis and Control of Boolean Networks
Boolean networks (BNs) are known as a mathematical model of genetic networks. In this paper, we overview algorithmic aspects of inference, analysis and control of BNs while focusin...
Tatsuya Akutsu, Morihiro Hayashida, Takeyuki Tamur...
CAMP
2005
IEEE
14 years 2 months ago
Development of a Bit-Level Compiler for Massively Parallel Vision Chips
Abstract— An image sensor in which each pixel has a processing element is called a vision chip. The vision chip can perform real-time visual processing at a high frame rate of 10...
Takashi Komuro, Shingo Kagami, Masatoshi Ishikawa,...
ITICSE
2005
ACM
14 years 2 months ago
Engaging students to work with self-assessment questions: a study of two approaches
We explored two approaches for encouraging introductory programming students to use the web-based, selfassessment system, QuizPACK. An "organizational" approach applied ...
Peter Brusilovsky, Sergey A. Sosnovsky
KR
2004
Springer
14 years 2 months ago
Complex Preferences for Answer Set Optimization
The main contribution of this paper is the definition of the preference description language  ¡¢ . This language allows us to combine qualitative and quantitative, penalty bas...
Gerhard Brewka
TOOLS
1999
IEEE
14 years 1 months ago
On Creation, Equality and the Object Model
In designing languages, we strive for consistency and elegance. In object-oriented languages, simple data types have always been a problem in that they do not quite fit in with th...
Michael Kölling, John Rosenberg