29046 search results - page 5473 / 5810 » Computable Models |
207
click to vote
VRML
2003
ACM
16 years 13 hour ago
2003
ACM
Success of 3D applications on the Web inherently depends on object behavior and interaction. Current Web3D formats often fall short in supporting behavior modeling. This paper int...
216
click to vote
WPES
2003
ACM
16 years 12 hour ago
2003
ACM
Trust negotiation is an approach to establishing trust between strangers through the bilateral, iterative disclosure of digital credentials. Under automated trust negotiation, acc...
224
click to vote
CP
2003
Springer
15 years 12 months ago
2003
Springer
Multiple sequence alignment is a central problem in Bioinformatics. A known integer programming approach is to apply branch-and-cut to exponentially large graph-theoretic models. T...
200
Voted
EMSOFT
2003
Springer
15 years 12 months ago
2003
Springer
We present a formalism for specifying component interfaces that expose component requirements on limited resources. The formalism permits an algorithmic check if two or more compon...
310
click to vote
AGP
2010
IEEE
15 years 12 months ago
2010
IEEE
Constraint Logic Programming (CLP) is one of the most successful branches of Logic Programming; it attracts the interest of theoreticians and practitioners, and it is currently use...