736 search results - page 81 / 148 » A Science of Reasoning (Extended Abstract) |
LICS
2005
IEEE
14 years 1 months ago
2005
IEEE
In the 1980s process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which...
DIS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In this paper, we consider 0/1 databases and provide an alternative way of extracting knowledge from such databases using tiles. A tile is a region in the database consis...
CSCLP
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Constraint solving problems (CSPs) represent a formalization of an important class of problems in computer science. We propose here a solving methodology based on the nam...
CHI
2009
ACM
14 years 8 months ago
2009
ACM
tendees. Extended abstracts ranging from three to four pages in length can be submitted on any relevant topic. Papers will be accepted based on the quality of research and potentia...
ICALP
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. This paper deals with approximations of maximum independent sets in non-uniform hypergraphs of low degree. We obtain the first performance ratio that is sublinear in term...