1325 search results - page 99 / 265 » An Approach to Generation of Decision Rules |
157
click to vote
DAC
1995
ACM
15 years 10 months ago
1995
ACM
High-level synthesis (HLS) has been successfully targeted towards the digital signal processing (DSP) domain. Both application-speci c integrated circuits (ASICs) and application-...
221
click to vote
JSC
2010
15 years 1 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
184
click to vote
JAR
2000
15 years 6 months ago
2000
We report our effort to build a geometry deductive database, which can be used to find the fixpoint for a geometric configuration. The system can find all the properties of the con...
155
click to vote
IAT
2007
IEEE
16 years 21 days ago
2007
IEEE
Practical reasoning (PR), as advocated by philosophers is concerned by reasoning about what agents should do. It follows mainly two steps. A deliberation one for identifying the g...
147
click to vote
CSIE
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we describe a system for correcting English preposition errors automatically. Non-native English writers often make these errors. Our system uses rules extracted au...