10435 search results - page 1777 / 2087 » Computational Biology and Language |
164
click to vote
SMA
2005
ACM
16 years 11 days ago
2005
ACM
Geometric constraint solving is a key issue in CAD/CAM. Since Owen’s seminal paper, solvers typically use graph based decomposition methods. However, these methods become diffi...
158
click to vote
AIED
2005
Springer
16 years 11 days ago
2005
Springer
: In this paper we present two computational approaches that can be used characterize and measure online threaded discussions and demonstrate that they can objectively validate stu...
183
click to vote
BIRTHDAY
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Van Glabbeek (1990) presented the linear time/branching time spectrum of behavioral equivalences for finitely branching, concrete, sequential processes. He studied these...
162
click to vote
BIRTHDAY
2005
Springer
16 years 11 days ago
2005
Springer
This paper proposes a Compiled Labelled Deductive System, called ACCLDS, for reasoning about role-based access control in distributed systems, which builds upon Massacci’s tablea...
170
click to vote
BIRTHDAY
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. The formal development of industrial-size software is an errorprone and therefore an evolutionary process. Verifying formal specifications usually reveals hidden errors ...