Sciweavers

3273 search results - page 244 / 655
» types 2007
Sort
View
SEFM
2007
IEEE
16 years 29 days ago
An AOP Extended Lambda-Calculus
This paper presents an implicitly-typed functional, aspect-oriented programming language: λ AOP. The main contribution of the paper is a semantics for λ AOP advice weaving. The ...
Dima Alhadidi, Nadia Belblidia, Mourad Debbabi, Pr...
PEPM
2007
ACM
16 years 24 days ago
Bidirectional interpretation of XQuery
XQuery is a powerful functional language to query XML data. This paper presents a bidirectional interpretation of XQuery to address the problem of updating XML data through materi...
Dongxi Liu, Zhenjiang Hu, Masato Takeichi
ICRA
2007
IEEE
149views Robotics» more  ICRA 2007»
16 years 1 months ago
daVinci Code: A Multi-Model Simulation and Analysis Tool for Multi-Body Systems
Abstract— This paper discusses the design and current capabilities of a new software tool, dVC, capable of simulating planar systems of bodies experiencing unilateral contacts wi...
Stephen Berard, Jeffrey C. Trinkle, Binh Nguyen, B...
171
Voted
CORR
2007
Springer
125views Education» more  CORR 2007»
15 years 6 months ago
Gaussian Interference Channel Capacity to Within One Bit
—The capacity of the two-user Gaussian interference channel has been open for 30 years. The understanding on this problem has been limited. The best known achievable region is du...
Raul Etkin, David Tse, Hua Wang
154
Voted
BIOSURVEILLANCE
2007
Springer
16 years 26 days ago
A Study into Detection of Bio-Events in Multiple Streams of Surveillance Data
Abstract. This paper reviews the results of a study into combining evidence from multiple streams of surveillance data in order to improve timeliness and specificity of detection ...
Josep Roure, Artur Dubrawski, Jeff Schneider