1943 search results - page 161 / 389 » Ordering Default Theories |
272
click to vote
ILC
2007
Springer
16 years 1 months ago
2007
Springer
Two-way alternating automata were introduced by Vardi in order to study the satisfiability problem for the modal µ-calculus extended with backwards modalities. In this paper, we ...
149
click to vote
SEMWEB
2007
Springer
16 years 1 months ago
2007
Springer
Mapping ontologies with high precision on the Semantic Web is a challenging problem that needs to be addressed in various domains. One of the main problems with any mapping process...
166
Voted
ICALT
2006
IEEE
16 years 1 months ago
2006
IEEE
Social software, such as blogs, wikis, tagging systems and collaborative filters, treats the group as a first-class object within the system. Drawing from theories of transactiona...
164
click to vote
MFCS
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. Effective fractal dimension was defined by Lutz (2003) in order to quantitatively analyze the structure of complexity classes. Interesting connections of effective dim...
207
click to vote
GG
2004
Springer
16 years 13 days ago
2004
Springer
We propose to study two infinite graph transformations that we respectively call bounded and unbounded path transduction. These graph transformations are based on path substitutio...