6020 search results - page 405 / 1204 » A New Approach to Model Counting |
188
click to vote
ASYNC
2005
IEEE
16 years 15 days ago
2005
IEEE
We propose a novel technique for modeling and verifying timed circuits based on the notion of generalized relative timing. Generalized relative timing constraints can express not ...
186
Voted
MOBIQUITOUS
2005
IEEE
16 years 13 days ago
2005
IEEE
A significant deterrent to the ability to connect in a spontaneous manner in cross-enterprise collaborative applications is the difficulty in users from different domains being ab...
179
Voted
SMI
2005
IEEE
16 years 13 days ago
2005
IEEE
Curvature-based energy and forces are used in a broad variety of contexts, ranging from modeling of thin plates and shells to surface fairing and variational surface design. The a...
150
Voted
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. We propose here a new approach for video sequence interpretation based on declarative models of activities. The aim of the video sequence interpretation is to recognize i...
176
Voted
CEC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract--A model for intrinsic artificial development is introduced in this paper. The proposed model features a novel mechanism where growth emerges, rather than being triggered ...