2550 search results - page 226 / 510 » Difference Decision Diagrams |
201
click to vote
TCAD
2008
15 years 6 months ago
2008
Abstract--Simplifying a combinational circuit while preserving its range has a variety of applications, such as combinational equivalence checking and random simulation. Previous a...
173
click to vote
JAIR
2000
15 years 6 months ago
2000
Recently model checking representation and search techniques were shown to be efciently applicable to planning, in particular to non-deterministic planning. Such planning approach...
187
click to vote
INTERNET
2010
15 years 5 months ago
2010
bstractions and mechanisms Webmachine supplies to RESTful Web services developers. Not Your Typical Framework Web services frameworks typically fall into one of the following broad...
140
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
In this paper, a supervised pixel-based classifier approach for segmenting different anatomical regions in abdominal Computed Tomography (CT) studies is presented. The approach co...
165
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
The paper discusses the role of context in a collaborative design process, with a web-based environment for distributed architecture - engineering - construction teamwork. During ...