4117 search results - page 623 / 824 » On the Satisfiability of Complex Constraints |
143
click to vote
VLDB
1989
ACM
15 years 10 months ago
1989
ACM
The problem of knowledge representation has been extensively addressedin the information systemsfield and there has been a wide range of suggestionsfor capturing semantics.A numbe...
170
click to vote
VLDB
1990
ACM
15 years 10 months ago
1990
ACM
Non-monotonic knowledge evolutions and exceptions constitute a complex theoritical and practical problem. The state of the art shows a rich and surprising diversity of approaches....
163
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
The scaling of CMOS technology into the nanometer era enables the fabrication of highly integrated systems, which increasingly contain analog and/or RF parts. However, scaling into...
180
click to vote
APN
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this work, we address the problem of transient and steadystate analysis of a stochastic Petri net which includes non Markovian distributions with a finite support but ...
179
click to vote
CGI
2004
IEEE
15 years 10 months ago
2004
IEEE
Using motion capture systems to animate humanlike figures still remains difficult when the movements are complex or need to be adapted to geometric constraints. We propose a new m...