1598 search results - page 290 / 320 » A Unified Computation Model for Functional and Logic Program... |
141
click to vote
APLAS
2005
ACM
15 years 10 months ago
2005
ACM
Many situations can be modeled as solutions of systems of simultaneous equations. If the functions of these equations monotonically increase in all bound variables, then the existe...
136
click to vote
ICAPR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This contribution shows how unsupervised Markovian segmentation techniques can be accelerated when implemented on graphics hardware equipped with a Graphics Processing Un...
173
click to vote
AAMAS
2005
Springer
15 years 4 months ago
2005
Springer
One of the most difficult problems in Multi-Agent Systems (MAS) involves representing the knowledge and beliefs of an agent which performs its tasks in a dynamic environment. New p...
156
click to vote
BMCBI
2004
15 years 4 months ago
2004
Background: The general problem of RNA secondary structure prediction under the widely used thermodynamic model is known to be NP-complete when the structures considered include a...
123
click to vote
SKG
2005
IEEE
15 years 10 months ago
2005
IEEE
The upcoming next generation of the internet, often referred to as the Semantic Web, will bring a lot of new technologies, one of which is the Web Ontology Language (OWL). One fea...