2834 search results - page 416 / 567 » Representing Trees with Constraints |
182
click to vote
TLCA
2007
Springer
16 years 14 days ago
2007
Springer
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
210
click to vote
ICDCS
2006
IEEE
16 years 12 days ago
2006
IEEE
The stationary nature of nodes in a mesh network has shifted the main design goal of routing protocols from maintaining connectivity between source and destination nodes to findi...
169
click to vote
IJCNN
2006
IEEE
16 years 11 days ago
2006
IEEE
— The number of XML documents produced and available on the Internet is steadily increasing. It is thus important to devise automatic procedures to extract useful information fro...
203
click to vote
IPPS
2006
IEEE
16 years 11 days ago
2006
IEEE
In this paper we describe a new approach for the well known problem in bioinformatics: Multiple Sequence Alignment (MSA). MSA is fundamental task as it represents an essential pla...
179
click to vote
SIGCSE
2006
ACM
16 years 9 days ago
2006
ACM
This paper describes a significant redesign of the introductory courses at the University of Washington that has led to increased enrollments, increased student satisfaction and a...