1143 search results - page 226 / 229 » Abstract Syntax and Logic Programming |
167
click to vote
CN
2004
15 years 3 months ago
2004
This work deals with reconfigurable control functions and protocols for supporting mobile computing applications in heterogeneous wireless systems like cellular networks and WLANs...
158
click to vote
AC
1998
Springer
15 years 3 months ago
1998
Springer
Abstract: Since von Neumann's seminal work around 1950, computer scientists and others have studied the algorithms needed to support self-replicating systems. Much of this wor...
151
click to vote
CADE
2009
Springer
16 years 4 months ago
2009
Springer
Abstract This work studies the properties of finite automata recognizing vectors with real components, encoded positionally in a given integer numeration base. Such automata are us...
139
Voted
ERSHOV
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. A basic cornerstone of the Semantic Web are formal languages for describing resources in a clear and unambiguous way. Logical underpinnings facilitate automated reasoning...
135
Voted
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Nowadays enterprises request information technologies that leverage structured and unstructured information for providing a single integrated view of business problems in...