Sciweavers

3907 search results - page 285 / 782
» Time, Knowledge, and Choice
Sort
View
EUSFLAT
2007
132views Fuzzy Logic» more  EUSFLAT 2007»
15 years 9 months ago
Towards to Automatic Tactics' Analysis in Soccer
One of the main problems in soccer is to coordinate in real time scale collective behavior of team members, who solve a common task by solving individual tasks. The specificity of...
Alexey N. Averkin, Anton Gusev, Mikhail Shestakov
NAACL
2003
15 years 8 months ago
A low-complexity, broad-coverage probabilistic Dependency Parser for English
Large-scale parsing is still a complex and timeconsuming process, often so much that it is infeasible in real-world applications. The parsing system described here addresses this ...
Gerold Schneider
CNL
2009
15 years 8 months ago
An Evaluation Framework for Controlled Natural Languages
This paper presents a general framework called ontographs that relies on a graphical notation and enables the tool-independent and reliable evaluation of human understandability of...
Tobias Kuhn
ENTCS
2006
99views more  ENTCS 2006»
15 years 7 months ago
Termination Criteria for Bounded Model Checking: Extensions and Comparison
Increasing attention has been paid recently to criteria that allow one to conclude that a structure models a linear-time property from the knowledge that no counterexamples exist ...
Mohammad Awedh, Fabio Somenzi
INFOCOM
2003
IEEE
16 years 21 days ago
Optimal Bandwidth Reservation Schedule in Cellular Network
Abstract— Efficient bandwidth allocation strategy with simultaneous fulfillment of QoS requirement of a user in a mobile cellular network is still a critical and an important p...
Samrat Ganguly, B. R. Badrinath, Navin Goyal