Sciweavers

1064 search results - page 163 / 213
» Disjoint Systems (Extended Abstract)
Sort
View
192
Voted
TLDI
2010
ACM
247views Formal Methods» more  TLDI 2010»
16 years 14 days ago
F-ing modules
ML modules are a powerful language mechanism for decomposing programs into reusable components. Unfortunately, they also have a reputation for being “complex” and requiring fa...
Andreas Rossberg, Claudio V. Russo, Derek Dreyer
ATAL
2009
Springer
15 years 10 months ago
Operational semantics of goal models in adaptive agents
Several agent-oriented software engineering methodologies address the emerging challenges posed by the increasing need of adaptive software. A common denominator of such methodolo...
Mirko Morandini, Loris Penserini, Anna Perini
168
Voted
SG
2005
Springer
15 years 9 months ago
Knowledge in the Loop: Semantics Representation for Multimodal Simulative Environments
This article describes the integration of knowledge based techniques into simulative Virtual Reality (VR) applications. The approach is motivated ltimodal Virtual Construction as a...
Marc Erich Latoschik, Peter Biermann, Ipke Wachsmu...
CPM
2001
Springer
211views Combinatorics» more  CPM 2001»
15 years 8 months ago
Fuzzy Hamming Distance: A New Dissimilarity Measure
Lempel Ziv Coding (Extended Abstract). . . . . . . . . . . . . . . . . . . . . . . 18 Shmuel Tomi Klein, Yair Wiseman Approximate Matching of Run-Length Compressed Strings . . . . ...
Abraham Bookstein, Shmuel T. Klein, Timo Raita
147
Voted
ECCV
2004
Springer
16 years 5 months ago
Bayesian Correction of Image Intensity with Spatial Consideration
Abstract. Under dimly lit condition, it is difficult to take a satisfactory image in long exposure time with a hand-held camera. Despite the use of a tripod, moving objects in the ...
Jiaya Jia, Jian Sun, Chi-Keung Tang, Heung-Yeung S...