3706 search results - page 135 / 742 » OntoComP System Description |
182
click to vote
ICALP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We describe a simple, conceptual forward analysis procedure for complete WSTS S. This computes the clover of a state s0, i.e., a finite description of the closure of the ...
180
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
A concept learning framework for terminological representations is introduced. It is grounded on a method for inducing logic decision trees as an adaptation of the classic tree in...
140
click to vote
AHS
2007
IEEE
16 years 1 months ago
2007
IEEE
Finite impulse response (FIR) structures are the most commonly used digital filters and can be found in various areas of everyday life. In this paper we introduce a novel approac...
178
Voted
FM
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
187
click to vote
MM
2003
ACM
16 years 3 days ago
2003
ACM
We present a method being developed to extract information about characters’ emotions in films. It is suggested that this information can help describe higher levels of multimed...