Sciweavers

1527 search results - page 165 / 306
» From Requirements to Design: Formalizing the Key Steps
Sort
View
SENSYS
2009
ACM
16 years 1 months ago
Macrodebugging: global views of distributed program execution
Creating and debugging programs for wireless embedded networks (WENs) is notoriously difficult. Macroprogramming is an emerging technology that aims to address this by providing ...
Tamim I. Sookoor, Timothy W. Hnat, Pieter Hooimeij...
WWW
2006
ACM
16 years 7 months ago
Optimizing scoring functions and indexes for proximity search in type-annotated corpora
We introduce a new, powerful class of text proximity queries: find an instance of a given "answer type" (person, place, distance) near "selector" tokens matchi...
Soumen Chakrabarti, Kriti Puniyani, Sujatha Das
JUCS
2010
162views more  JUCS 2010»
15 years 1 months ago
UML Behavior Models of Real-Time Embedded Software for Model-Driven Architecture
Abstract: Model-Driven Architecture (MDA) presents a set of layered models to separate design concerns from platform concerns. The model executability for each model element is sti...
Jin Hyun Kim, Jin-Young Choi, Inhye Kang, Insup Le...
ISVC
2009
Springer
16 years 1 months ago
High-Quality Rendering of Varying Isosurfaces with Cubic Trivariate C1-Continuous Splines
Smooth trivariate splines on uniform tetrahedral partitions are well suited for high-quality visualization of isosurfaces from scalar volumetric data. We propose a novel rendering ...
Thomas Kalbe, Thomas Koch, Michael Goesele
IJCAI
2007
15 years 8 months ago
Automatic Gait Optimization with Gaussian Process Regression
Gait optimization is a basic yet challenging problem for both quadrupedal and bipedal robots. Although techniques for automating the process exist, most involve local function opt...
Daniel J. Lizotte, Tao Wang, Michael H. Bowling, D...