Sciweavers

3658 search results - page 411 / 732
» Founding properties on measurement
Sort
View
CSL
2001
Springer
15 years 11 months ago
A Logic for Approximate First-Order Reasoning
Abstract. In classical approaches to knowledge representation, reasoners are assumed to derive all the logical consequences of their knowledge base. As a result, reasoning in the ď...
Frédéric Koriche
ROBOCUP
2001
Springer
109views Robotics» more  ROBOCUP 2001»
15 years 11 months ago
Multi-platform Soccer Robot Development System
Abstract. Robot soccer is a challenging research domain, which involves multiple agents (physical robots or ”softbots”) to work together in a dynamic, noisy, cooperative and ad...
Hui Wang, Han Wang, Chunmiao Wang, William Y. C. S...
SC
2000
ACM
15 years 11 months ago
Towards an Integrated, Web-executable Parallel Programming Tool Environment
We present a new parallel programming tool environment that is (1) accessible and executable “anytime, anywhere,” through standard Web browsers and (2) integrated in that it p...
Insung Park, Nirav H. Kapadia, Renato J. O. Figuei...
CHI
2010
ACM
15 years 11 months ago
Mobile questionnaires for user experience evaluation
As user experience studies move from laboratories to mobile context, we need tools for collecting data in natural settings. Based on the results from a pilot study, we present ear...
Heli Väätäjä, Virpi Roto
CSMR
1999
IEEE
15 years 11 months ago
Employing Use-cases and Domain Knowledge for Comprehending Resource Usage
Philips Electronics is a world wide electronics company that develops many products containing embedded software. These products range from shavers with only few hundred bytes of ...
René L. Krikhaar, Maarten Pennings, J. Zonn...