6020 search results - page 491 / 1204 » A New Approach to Model Counting |
165
click to vote
RTAS
2002
IEEE
15 years 12 months ago
2002
IEEE
The paper presents some preliminary results on dynamic scheduling of model predictive controllers (MPCs). In an MPC, the control signal is obtained by on-line optimization of a co...
190
click to vote
CGI
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper describes a new method for generating surfaces of branching tubular structures with given centerlines and radii. As the centerlines are not straight lines, the cross-se...
174
click to vote
INTERWORKING
2000
15 years 10 months ago
2000
In a packet switching based scenario, optical technologies can not completely overcome the problem of insufficient network capacity, due to limitations produced by the presence of ...
207
click to vote
NAACL
2007
15 years 8 months ago
2007
In the past, NLP has always been based on the explicit or implicit use of linguistic knowledge. In classical computer linguistic applications explicit rule based approaches prevai...
208
click to vote
AAAI
1993
15 years 8 months ago
1993
We address the problem of automatically learning object models for recognition and pose estimation. In contrast to the traditional approach, we formulate the recognition problem a...