Sciweavers

719 search results - page 38 / 144
» What HMMs Can Do
Sort
View
ISSS
1996
IEEE
87views Hardware» more  ISSS 1996»
14 years 2 months ago
Breakpoints and Breakpoint Detection in Source Level Emulation
In this paper we discuss, what breakpoints in Source Level Emulationa are, how we can work with them and how we have to change the cicuit generated by high level synthesis to do s...
Gernot Koch, Udo Kebschull, Wolfgang Rosenstiel
APLAS
2007
ACM
14 years 2 months ago
Monadic, Prompt Lazy Assertions in Haskell
Abstract. Assertions test expected properties of run-time values without disrupting the normal computation of a program. We present a library for enriching Haskell programs with as...
Olaf Chitil, Frank Huch
CASCON
2006
100views Education» more  CASCON 2006»
13 years 11 months ago
Software architects in practice: handling requirements
Software architecture can be a critical factor in software development. Understanding what software architects do in practice is necessary to the enterprise of providing technique...
Vidya Lakshminarayanan, WenQian Liu, Charles L. Ch...
AMAI
2006
Springer
13 years 10 months ago
Computational methods for database repair by signed formulae
We introduce a simple and practical method for repairing inconsistent databases. Given a possibly inconsistent database, the idea is to properly represent the underlying problem, i...
Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Mau...
EOR
2008
71views more  EOR 2008»
13 years 10 months ago
Manufacturer's mixed pallet design problem
We study a problem faced by a major beverage producer. The company produces and distributes several brands to various customers from its regional distributors. For some of these b...
Hande Yaman, Alper Sen