Sciweavers

7433 search results - page 1269 / 1487
» Management of Technology
Sort
View
EKAW
2006
Springer
15 years 10 months ago
From Natural Language to Formal Proof Goal
Guidelines (Extended abstract) Ruud Stegers1 , Annette ten Teije1 , and Frank van Harmelen1 Vrije Universiteit, Amsterdam The main problem encountered when starting verification of...
Ruud Stegers, Annette ten Teije, Frank van Harmele...
ENTER
2006
Springer
15 years 10 months ago
An Agent-Based Architecture for Museum Visitors' Guide Systems
Recent developments in museum visitors' guides focus on context awareness, personalization and multimodal and multimedia information presentation to individuals and groups of...
Tsvi Kuflik, Adriano Albertini, Paolo Busetta, Ces...
EUROSSC
2006
Springer
15 years 10 months ago
Multi-channel Support for Dense Wireless Sensor Networking
Currently, most wireless sensor network applications assume the presence of single-channel Medium Access Control (MAC) protocols. When sensor nodes are densely deployed, single-cha...
Özlem Durmaz Incel, Stefan Dulman, Pierre G. ...
APCSAC
2000
IEEE
15 years 10 months ago
Dataflow Java: Implicitly Parallel Java
Dataflow computation models enable simpler and more efficient management of the memory hierarchy - a key barrier to the performance of many parallel programs. This paper describes...
Gareth Lee, John Morris
EKAW
2000
Springer
15 years 10 months ago
KIDS: An Iterative Algorithm to Organize Relational Knowledge
The goal of conceptual clustering is to build a set of embedded classes, which cluster objects based on their similarities. Knowledge organization aims at generating the set of mos...
Isabelle Bournaud, Mélanie Courtine, Jean-D...
« Prev « First page 1269 / 1487 Last » Next »