Sciweavers

6794 search results - page 1198 / 1359
» Semantics of Visual Languages
Sort
View
JSW
2008
101views more  JSW 2008»
13 years 9 months ago
Graphical Mission Specification and Partitioning for Unmanned Underwater Vehicles
- The use of Unmanned Underwater Vehicles (UUVs) has been proposed for several different types of applications including hydrographic surveys (e.g., mapping the ocean floor and exp...
Gary Giger, Mahmut T. Kandemir, John Dzielski
IPM
2007
123views more  IPM 2007»
13 years 9 months ago
Generating gene summaries from biomedical literature: A study of semi-structured summarization
Most knowledge accumulated through scientific discoveries in genomics and related biomedical disciplines is buried in the vast amount of biomedical literature. Since understandin...
Xu Ling, Jing Jiang, Xin He, Qiaozhu Mei, Chengxia...
ASE
2004
108views more  ASE 2004»
13 years 9 months ago
CODEWEAVE: Exploring Fine-Grained Mobility of Code
er is concerned with an abstract exploration of code mobility constructs designed for use in settings where the level of granularity associated with the mobile units exhibits sign...
Cecilia Mascolo, Gian Pietro Picco, Gruia-Catalin ...
CORR
2002
Springer
141views Education» more  CORR 2002»
13 years 9 months ago
Question answering: from partitions to Prolog
Abstract. We implement Groenendijk and Stokhof's partition semantics of questions in a simple question answering algorithm. The algorithm is sound, complete, and based on tabl...
Balder ten Cate, Chung-chieh Shan
ENTCS
1998
105views more  ENTCS 1998»
13 years 9 months ago
A Concurrent Object Calculus: Reduction and Typing
We obtain a new formalism for concurrent object-oriented languages by extending Abadi and Cardelli's imperative object calculus with operators for concurrency from the -calc...
Andrew D. Gordon, Paul D. Hankin
« Prev « First page 1198 / 1359 Last » Next »