Sciweavers

1295 search results - page 146 / 259
» informs 1998
Sort
View
ICCAD
1998
IEEE
83views Hardware» more  ICCAD 1998»
15 years 8 months ago
Lazy transition systems: application to timing optimization of asynchronous circuits
This paper introduces Lazy Transitions Systems (LzTSs). The notion of laziness explicitly distinguishes between the enabling and the firing of an event in a transition system. LzT...
Jordi Cortadella, Michael Kishinevsky, Alex Kondra...
152
Voted
ICFEM
1998
Springer
15 years 8 months ago
Formal Specification of CORBA Services Using Object-Z
Open component architectures, such as CORBA, allow software systems to be composed of independent components. The behavior of components is described with a mixture of an interfac...
Detlef Kreuz
IEAAIE
1998
Springer
15 years 8 months ago
Applying Computer Vision Techniques to Traffic Monitoring Tasks
This paper presents a method I for tracking and segmenting vehicles in a traffic scene. The approach is based on a frame to frame segmentation followed by a tracking process. As op...
Jorge Badenas, Filiberto Pla
CIDR
2007
84views Algorithms» more  CIDR 2007»
15 years 6 months ago
Public Health for the Internet (PHI)
Business incentives have brought us within a small factor of achieving the database community’s Grand Challenge set out in the Asilomar Report of 1998. This paper makes the case...
Joseph M. Hellerstein, Tyson Condie, Minos N. Garo...
140
Voted
AAAI
1998
15 years 6 months ago
Opponent Modeling in Poker
Poker is an interesting test-bed for artificial intelligence research. It is a game of imperfect knowledge, where multiple competing agents must deal with risk management, agent m...
Darse Billings, Denis Papp, Jonathan Schaeffer, Du...