3719 search results - page 124 / 744 » RACER System Description |
180
click to vote
FDL
2007
IEEE
15 years 11 months ago
2007
IEEE
SystemVerilog encapsulates both design description and verification properties in one language and provides a unified environment for engineers who have the formidable challenge o...
124
click to vote
PDPTA
2003
15 years 6 months ago
2003
In this paper, precedence constraint combination formalisms defined in the software domain are used to define the behavior of hardware systems. Specifically, AND-join and various ...
141
click to vote
AAAI
2000
15 years 6 months ago
2000
We describe a system for specifying the effects of actions. Unlike those commonly used in AI planning, our system uses an action description language that allows one to specify th...
153
click to vote
ECBS
2008
IEEE
15 years 7 months ago
2008
IEEE
Large and complex software systems require expressive notations for representing their software architecture. In this context Architecture Description Languages (ADLs) can be used...
126
click to vote
ECCV
2008
Springer
16 years 7 months ago
2008
Springer
We describe a working computer vision system that aids in the identification of plant species. A user photographs an isolated leaf on a blank background, and the system extracts th...