8828 search results - page 1187 / 1766 » Formal methods in practice |
180
click to vote
EUSFLAT
2001
15 years 8 months ago
2001
This paper advances a fuzzy control strategy of the phase angle between the voltage and the current of a variable RL load using the system introduced in [3].- This control method ...
198
click to vote
EACL
2003
ACL Anthology
15 years 8 months ago
2003
ACL Anthology
We present a practical co-training method for bootstrapping statistical parsers using a small amount of manually parsed training material and a much larger pool of raw sentences. ...
178
Voted
IJCAI
2001
15 years 8 months ago
2001
Models of computer users that are learned on the basis of data can make use of two types of information: data about users in general and data about the current individual user. Fo...
215
Voted
OMER
2001
15 years 8 months ago
2001
: This paper shows how architecture description languages can be tailored to the design of embedded automotive control software. Furthermore, graphical modeling means are put in an...
162
click to vote
SERP
2004
15 years 8 months ago
2004
David Parnas wrote several papers in the 1970's and 1980's that are now considered classics. The concepts he advocated such as information hiding and bstract interfaces ...