Sciweavers

19936 search results - page 80 / 3988
» Inductive process modeling
Sort
View
106
Voted
ICSE
1989
IEEE-ACM
15 years 6 months ago
Software Process Modeling: Principles of Entity Process Models
Watts S. Humphrey, Marc I. Kellner
NLPRS
2001
Springer
15 years 7 months ago
An Unsupervised Method for Canonicalization of Japanese Postpositions
We present an unsupervised method for canonicalizing joshi (postpositions) in Japanese. Some postpositions in Japanese do not specify semantic roles explicitly as case markers do,...
Kentaro Torisawa
123
Voted
SSPR
2000
Springer
15 years 6 months ago
Prototype Learning with Attributed Relational Graphs
An algorithm for learning structural patterns given in terms of Attributed Relational Graphs (ARG's) is presented. The algorithm, based on inductive learning methodologies, pr...
Pasquale Foggia, Roberto Genna, Mario Vento
114
Voted
ISCAS
1999
IEEE
106views Hardware» more  ISCAS 1999»
15 years 6 months ago
Repeater insertion in RLC lines for minimum propagation delay
- A closed form expression for the propagation delay of a CMOS gate driving a distributed RLC line is introduced that is within 5% of dynamic circuit simulations for a wide range o...
Yehea I. Ismail, Eby G. Friedman
TACAS
2000
Springer
151views Algorithms» more  TACAS 2000»
15 years 6 months ago
Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking
Salsa is an invariant checker for speci cations in SAL the SCR Abstract Language. To establish a formula as an invariant without any user guidance Salsa carries out an induction pr...
Ramesh Bharadwaj, Steve Sims