Sciweavers

6343 search results - page 882 / 1269
» Development of a Cartographic Language
Sort
View
179
Voted
AC
2003
Springer
16 years 3 days ago
Synthesis of Asynchronous Hardware from Petri Nets
Abstract. As semiconductor technology strides towards billions of transistors on a single die, problems concerned with deep sub-micron process features and design productivity call...
Josep Carmona, Jordi Cortadella, Victor Khomenko, ...
169
Voted
CIKM
2003
Springer
16 years 3 days ago
Speech user interfaces for information retrieval
The research proposed here concentrates on the problem of designing and developing a spoken query retrieval (SQR) system to access large document databases via voice. The main cha...
Juan E. Gilbert, Yapin Zhong
CP
2003
Springer
16 years 3 days ago
Box Constraint Collections for Adhoc Constraints
In this paper, we propose a new language-independent representation of adhoc constraints, called a box constraint collection. Using constructive disjunction, this representation ac...
Chi Kan Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey
CP
2003
Springer
16 years 3 days ago
Propagating N-Ary Rigid-Body Constraints
In this paper, we present an algorithm to propagate an n-ary constraint (with n greater than 2) specifying the relative positions of points in a three-dimensional rigid group. The ...
Ludwig Krippahl, Pedro Barahona
184
Voted
EWSPT
2003
Springer
16 years 2 days ago
Process Support for Evolving Active Architectures
Long-lived, architecture-based software systems are increasingly important. Effective process support for these systems depends upon recognising their compositional nature and the ...
R. Mark Greenwood, Dharini Balasubramaniam, Sorana...