Sciweavers

1655 search results - page 198 / 331
» Stemming in the language modeling framework
Sort
View
POPL
1990
ACM
15 years 4 months ago
Higher-Order Modules and the Phase Distinction
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...
Robert Harper, John C. Mitchell, Eugenio Moggi
86
Voted
ATAL
2009
Springer
15 years 4 months ago
Norm-based behaviour modification in BDI agents
While there has been much work on developing frameworks and models of norms and normative systems, consideration of the impact of norms on the practical reasoning of agents has at...
Felipe Rech Meneguzzi, Michael Luck
FMCO
2008
Springer
133views Formal Methods» more  FMCO 2008»
15 years 2 months ago
BML and Related Tools
The Bytecode Modeling Language (BML) is a specication for Java bytecode, that provides a high level of abstraction, while not restricting the format of the bytecode. Notably, BML s...
Jacek Chrzaszcz, Marieke Huisman, Aleksy Schubert
104
Voted
CF
2006
ACM
15 years 6 months ago
Morphogenesis as an amorphous computation
In this paper, we present a programming language viewpoint for morphogenesis, the process of shape formation during embryological development. Specifically, we model morphogenesi...
Arnab Bhattacharyya
106
Voted
ADBIS
2006
Springer
103views Database» more  ADBIS 2006»
15 years 6 months ago
Bridging the Gap between Comparison and Conforming the Views in View Integration
View integration is a complex, error-prone and time-consuming task. Therefore there is a need to decompose the integration methods into smaller well defined phases where different ...
Peter Bellström