Sciweavers

8701 search results - page 1499 / 1741
» XML-Based Feature Modelling
Sort
View
NEW2AN
2007
Springer
16 years 1 months ago
Real Life Field Trial over a Pre-mobile WiMAX System with 4th Order Diversity
Mobile WiMAX is a promising wireless technology approaching market deployment. Much discussion concentrate on whether mobile WiMAX will reach a tipping point and become 4G or not. ...
Pål Grønsund, Paal Engelstad, Moti Ay...
OOPSLA
2007
Springer
16 years 1 months ago
Synthesizing reactive systems from LSC requirements using the play-engine
Live Sequence Charts (LSCs) is a scenario-based language for modeling object-based reactive systems with liveness properties. A tool called the Play-Engine allows users to create ...
Hillel Kugler, Cory Plock, Amir Pnueli
189
Voted
ROBOCUP
2007
Springer
140views Robotics» more  ROBOCUP 2007»
16 years 1 months ago
Tailored Real-Time Simulation for Teams of Humanoid Robots
Abstract. Developing and testing the key modules of autonomous humanoid soccer robots (e.g., for vision, localization, and behavior control) in software-in-the-loop (SIL) experimen...
Martin Friedmann, Karen Petersen, Oskar von Stryk
RR
2007
Springer
16 years 1 months ago
A Semantic Framework for Language Layering in WSML
Abstract. WSML presents a framework encompassing different language variants, rooted in Description Logics and (F-)Logic Programming. So far, the precise relationships between thes...
Jos de Bruijn, Stijn Heymans
182
Voted
SCALESPACE
2007
Springer
16 years 1 months ago
Linear Image Reconstruction by Sobolev Norms on the Bounded Domain
The reconstruction problem is usually formulated as a variational problem in which one searches for that image that minimizes a so called prior (image model) while insisting on cer...
Bart Janssen, Remco Duits, Bart M. ter Haar Romeny
« Prev « First page 1499 / 1741 Last » Next »