999 search results - page 132 / 200 » Constraints in Non-Boolean Contexts |
177
click to vote
ICLP
2004
Springer
15 years 11 months ago
2004
Springer
A component is the basic re-usable unit of composition to build composite systems by connecting to others through their provided and required ports. Checking the functional complia...
173
Voted
AAMAS
2008
Springer
15 years 6 months ago
2008
Springer
Abductive reasoning is a well established field of Artificial Intelligence widely applied to different problem domains not least cognitive robotics and planning. It has been used ...
210
click to vote
SP
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract. Understanding the functioning of a neural system in terms of its underlying circuitry is an important problem in neuroscience. Recent developments in electrophysiology an...
199
Voted
BMCBI
2004
15 years 6 months ago
2004
Background: Certain protein families are highly conserved across distantly related organisms and belong to large and functionally diverse superfamilies. The patterns of conservati...
168
Voted
REFLECTION
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Using mobile agent systems, cooperative distributed applications that run over the Internet can be constructed flexibly. However, there are some problems: it is difficul...